précédent up suivant T.d. matières postscript index aide

Action DYADE

Précédent : Transferts industriels Suivant : Abstract

6.2 Références

6.2.1 AAA

[1] L. Bellissard, S. Ben Atallah, F. Boyer, M. Riveill, "Distributed Application Configuration", 16th. IEEE International Conference on Distributed Computing Systems, Hong-Kong, May 96.

[2] L. Bellissard, M. Riveill, "From Distributed Objects to Distributed Components : the Olan Approach", ECOOP'96 : Workshop "Putting Distributed Objects to Work", Linz, July 96.

6.2.2 Astrolog

[1] A.Sahai, C.Morin, S.Billiart, ìAstrolog: a distributed and dynamic environment for network and system managementî, Proceedings of the 1st European Information infrastructure user conference, Université de Stuttgart, Feb 1997.

6.2.3 Médiation

[1] D. Florescu, L. Raschid, P. Valduriez : A Methodology for Query Reformulation in CIS using Semantic Knowledge, Int. Journal of Intelligent and Cooperative Information Systems, special issue on Formal Methods in Cooperative Information Systems : Heterogeneous Databases, Vol. 5, No. 4, December 1996.

[2] A. Tomasic, L. Raschid, P. Valduriez : Scaling Heterogeneous Database and the Design of Disco, Int. Conf. on Distributed Computing Systems}, Hong Kong, May 1996.

6.2.4 Mescaline

[1] P. Dechamboux, J.-P. Fassino, D. Hagimont, J. Mossière, X. Rousset, "The ARIAS Distributed Shared Memory : an Overview", invited paper, SOFSEM, Prague, November 96.

[2] J.-P. Fassino, "L'utilisation d'une mémoire virtuelle répartie pour le support d'un SGF réparti", rapport de DEA, DEA Informatique de Grenoble, Juin 1996.

[3] P. Dechamboux, J.-P. Fassino, D. Hagimont, T. Jacquin, "Rapport d'évaluation du système de gestion de fichiers clusterisé CFS", rapport technique, Octobre 96.

6.2.5 Safetech



6.2.6 VASY

[1] Hubert Garavel, An Overview of the Eucalyptus Toolbox, Proceedings of the COST 247 International Workshop on Applied Formal Methods in System Design, Z. Brezovnik and T. Kapus, University of Maribor, Slovenia, Eucalyptus-2, June 1996.

[2] J.-C. Fernandez and C. Jard, T. Jéron, C. Viho, An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology, Science of Computer Programming, Special Issue on Industrial Relevant Applications of Formal Analysis Techniques, Groote, J.-F. and Rem, M., Elsevier Science, 1996.

[3] J.-C. Fernandez and C. Jard, T. Jéron, C. Viho, Using on-the-fly verification techniques for the generation of test suites, Conference on Computer-Aided Verification (CAV '96), New Brunswick, New Jersey, USA, Alur A. and Henzinger T., Springer, LNCS 1102, July 1996.

[4] Ghassan Chehaibar and Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian, Specification and Verification of the PowerScale Bus Arbitration Protocol : An Industrial Experiment with LOTOS, Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, Protocol Specification, Testing and Verification, FORTE/PSTV'96 (Kaiserslautern, Germany), 1996, Ed. Reinhard Gotzhein and Jan Bredereke, pp 435--450, IFIP, October, Full version available as INRIA Research Report, RR-2958.

6.2.7 VIP

[1] D. Bolignano, Formal Verification of Cryptographic Protocols, Proceedings of the third ACM Conference on Computer and Communication Security, 1996.

[2] T. Thorn, Programming languages for mobile code, Submitted for publication, 1996.

[3] C. Cornes and J. Courant, J.-C. Filliâtre, E. Gimenez, G. Huet, P. Manoury, C. Munoz, C. Murthy, C.Parent, Ch.Paulin-Mohring, A. Saïbi, B. Werner, The Coq Proof Assistant Reference Manual, Version 6.1, INRIA, No 177, Rapport Technique, 1996, Novembre.

6.2.8 WebTools

[1] V. Bouthors,, Evolutions du Web et de l'Internet, Novembre 1996 (Français).

[2] V. Bouthors,, Survey and Trends of the World Wide Web and the Internet, Septembre 1996 (English).

[3] V. Bouthors, C. Nahaboo, P. Kaplan,, Conférence Web de Paris, Rapport, Mai 1996 (Français).

durollet marie-pierre
Last modified: Tue Feb 25 08:14:51 PST