.:. Consultation > Liste par année > 1999 .:.

390 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Specifying Authentication Protocols Using ELAN Cirstea H. Dans Workshop on Modelling & Verification (1999) 17 p [inria-00107815 - version 1]

Characters and conjugacy classes of the symmetric group Goupil A., Poulalhon D., Schaeffer G. N° 99-R-349 || goupil99a (1999) [inria-00098749 - version 1]

Using Rewriting and Strategies for Describing the B Predicate Prover Cirstea H., Kirchner C. N° 99-R-249 || cirstea99d (1999) [inria-00098748 - version 1]

ELAN from the rewriting logic point of view Borovansky P., Kirchner C., Kirchner H., Moreau P.-E. N° 99-R-284 || borovansky99b (1999) [inria-00107841 - version 1]

Vers une communication de groupe sécurisée : état de l'art et perspectives Ghassan C., Isabelle C., André S. N° 99-R-244 || ghassan99a (1999) [inria-00107839 - version 1]

Modélisation d'architectures d'applications - Moyens et formalismes Cavaliere D., Simonot-Lion F., Song Y.-Q. N° 99-R-217 || cavaliere99a (1999) [inria-00107833 - version 1]

Coordination par le biais de l'environnement : une approche biologique Bourjot C., Chevrier V., Bernard A., Krafft B. Dans Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi-agents (1999) 237-250 [inria-00107820 - version 1]

NICE ELKS 2000 proposal Colnet D., Stapf E., Zendra O. N° 99-R-359 || colnet99c (1999) [inria-00107842 - version 1]

Building Viewpoints in an Object-Based Representation System for Knowledge Discovery in Databases Simon A., Napoli A. In International Conference on Information Reuse & Integration - IRI'99 (1999) 104--108 [inria-00107816 - version 1]

Load Balancing Analysis of a Parallel Hierarchical Algorithm on the Origin2000 Cavin X. Dans Fifth European SGI/Cray MPP Workshop (1999) 10 p [inria-00107796 - version 1]