الوحدات الحالية : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
الفـرق السـابـقــة : | ACASA |
- L. Arantes, P. Sens, B. Folliot : “The Impact of Caching in a Loosely-coupled Clustered Software DSM System”, IEEE International Conference on Cluster Computing, Chemnitz, Germany, pp. 27-34, (IEEE) [Arantes 2000]
- I. Bakam, F. Kordon, Ch. Le Page, F. Bousquet : “Formalisation de modèles multi-agents par les réseaux de petri: Application à l'étude d'un système de gestion de la chasse à l'Est-Cameroun”, CARI' 2000, Antananarive, Madagascar [Bakam 2000a]
- I. Bakam, F. Kordon, Ch. Le Page, F. Bousquet : “Formalization of a spatialised multiagent model using Coloured Petri nets for the study of an hunting management system”, Formal Approaches to Agent-Based Systems, vol. 1871, Lecture Notes in Computer Science, Greenbelt, MD, United States, pp. 123-132, (Springer) [Bakam 2000b]
- X. Blanc, A. Rano, R. Le Delliou : “Génération automatique de structures de documents XML à partir de méta-modèles MOF”, Nouvelle Technologies de la Repartition 2000, Paris, France [Blanc 2000a]
- X. Blanc, M.‑P. Gervais, R. Le Delliou : “A Comparison of the Basic DO Concepts in Standardization”, International Symposium on Distributed Objects and Applications, Anvers, Belgium, pp. 209-217, (IEEE Computer Society) [Blanc 2000c]
- X. Blanc, M.‑P. Gervais, R. Le Delliou : “The Specifications Exchange Service of an RM-ODP Framework”, 4th International Enterprise Distributed Object Computing Conference, Makuhari, Japan, pp. 86-90, (IEEE) [Blanc 2000d]
- C. Boutros Saab, X. Bonnaire : “Cluster Monitoring Platform Based on Self Adaptable Probes”, IFIP Symposium on Computer Architecture and High Performance Computing, Sao Pedro, Brazil [Boutros Saab 2000a]
- C. Boutros Saab, X. Bonnaire, B. Folliot : “Flexible Monitoring Platform to Build Cluster Management Services”, IEEE International Conference on Clusters, Chemnitz, Germany, pp. 258-265, (IEEE) [Boutros Saab 2000b]
- N. Bouzaiene, C. Guastavino, E. Saint‑James : “Justification automatique de partitions musicales”, Journées d'Informatique Musicale, Bordeaux, France [Bouzaiene 2000]
- L. Capra, C. Dutheillet, G. Franceschinis, J.‑M. Ilié : “Exploiting Partial Symmetries for Markov Chain Aggregation”, International Workshop on Models for Time-Critical Systems (MTCS 2000), vol. 39 (3), Electronic Notes in Theoretical Computer Science, State College, PA, United States, pp. 231-257, (Elsevier) [Capra 2000]
- J.‑M. Couvreur, S. Grivet, D. Poitrenaud : “Designing a LTL Model-Checker based on Unfolding Graphs”, 21th International Conference on Applications and Theory of Petri Nets, vol. 1825, Lecture Notes in Computer Science, Aarhus, Denmark, pp. 123-145, (Springer) [Couvreur 2000]
- J.‑F. Dauchez, M.‑P. Gervais : “An ODP-based Environment to Design Telecommunications Services”, ICIN 2000 - 6th International Conference on Intelligence in Networks, Bordeaux, France [Dauchez 2000a]
- J.‑F. Dauchez, M.‑P. Gervais : “Specifying and verifying the behavior of telecommunications services”, 6th international conference on intelligence in Networks (ICIN '2000), Arcachon, France, pp. 210-214 [Dauchez 2000b]
- B. Folliot : “Perspectives in Operating Systems Research: the VVM approach.”, Workshop IFIP WG10.3 on Perspectives on Concurrent Systems, Paris, France [Folliot 2000a]
- B. Folliot : “The Virtual Virtual Machine Project.”, Symposium on Computer Architecture and High Performance Computing, IFIP, Sao Paulo, Brazil [Folliot 2000b]
- B. Folliot, D. Cailliau, I. Piumarta, R. Bellenger : “PLERS : Plateforme Logiciel Embarqué Reconfigurable pour Satellites - Application au satellite Corot”, RenPar '12, Besançon, France [Folliot 2000c]
- B. Folliot, I. Piumarta, L. Seinturier : “Reflective and Middleware Features of the VVM”, Reflective Middleware workshop at the IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, New York, NY, United States [Folliot 2000d]
- B. Folliot, I. Piumarta, L. Seinturier, C. Baillarguet, Ch. Khoury : “Aspects et réflexivité pour la machine virtuelle virtuelle”, Séminaire Systèmes Distribués et Connaissances, Sophia-Antipolis, France [Folliot 2000e]
- S. Haddad, D. Poitrenaud : “Modelling and Analyzing Systems with Recursive Petri Nets”, 5th Workshop on Discrete Event Systems (WODES '2000), vol. 569, The Springer International Series in Engineering and Computer Science, Ghent, Belgium, pp. 449-458, (Kluwer Academic Publishers) [Haddad 2000b]
- S. Haddad, J.‑M. Ilié, Kh. Ajami : “A Model Checking Method for Partially Symmetric Systems”, International conference on Formal Methods for Distributed System Development, FORTE/PSTV2000, vol. 183, IFIP Conference Proceedings, Pisa, Italy, pp. 121-136, (Kluwer) [Haddad 2000c]
- Ch. Khoury, B. Folliot : “Environnement de programmmation actif pour la mobilité”, Conférence des Jeunes chercheurs en systemes, GDR ARP et ASF (JCS '2000), Besançon, France [Khoury 2000]
- G. Lacôte, J.‑P. Briot, Z. Guessoum, P. Sens : “Towards Fault-Tolerant Agents”, ECOOP'2000 Workshop on Distributed Objects Programming Paradigm, Cannes, France [Lacôte 2000]
- F. Muscutariu, M.‑P. Gervais : “Modeling an OMG-MASIF Compliant Mobile Agent Platform with theRM-ODP Engineering Language”, 2nd International Workshop on Mobile Agents for Telecommunication Applications (MATA '00), vol. 1931, Lecture Notes in Computer Science, Paris, France, pp. 129-137, (Springer-Verlag) [Muscutariu 2000]
- R. Pawlak, L. Duchien, G. Florin, L. Martelli, L. Seinturier : “Distributed Separation of Concerns with Aspects Components”, TOOLS 2000 - 33rd International Conference on Technology of Object-Oriented Languages, Mont Saint-Michel, France, pp. 276-287, (IEEE) [Pawlak 2000]
- I. Piumarta, B. Folliot, L. Seinturier, C. Baillarguet, Ch. Khoury : “Highly Configurable Operating Systems: the VVM Approach”, Workshop on Object Orientation and Operating Systems (ECOOP '2000), Cannes, France [Piumarta 2000]
- D. Poitrenaud, J.‑F. Pradat‑Peyre : “Pre and post-agglomerations for LTL model checking”, 21th International Conference on Applications and Theory of Petri Nets, vol. 1825, Lecture Notes in Computer Science, Aarhus, Denmark, pp. 387-408, (Springer) [Poitrenaud 2000]
- D. Regep, F. Kordon : “Using MetaScribe to prototype an UML to C++/Ada95 code generator”, 11th IEEE International Workshop on Rapid System Prototyping, Paris, France, pp. 128-133, (IEEE) [Regep 2000]
- N. Revault, X. Blanc, J.‑F. Perrot : “On Meta-Modeling Formalisms and Rule-Based Model Transforms”, International Workshop on Model Engineering of ECOOP 2000 (IWME '00), Cannes, France [Revault 2000]
- N. Richer, M. Shapiro : “The memory behavior of WWW, or the WWW considered as a persistent store”, Persistent Object Systems: Design, Implementation, and Use, vol. 2135, Lecture Notes in Computer Science, Lillehammer, Norway, pp. 161-176, (Springer-Verlag) [Richer 2000]
- M. Shapiro, P. Ferreira, N. Richer : “Experience with the PerDiS large-scale data-sharing middleware”, 9th International Workshop on Persistent Object Systems (POS), vol. 2135, Lecture Notes in Computer Science, Lillehammer, Norway, pp. 55-69, (Springer-Verlag) [Shapiro 2000]
- T. Thouraya, J.‑M. Ilié : “Spécification à objets des systèmes répartis guidée par les gabarits”, 3ème Séminaire National en Informatique à Biskra (ASNIB '2000), Biskra, Algeria, pp. 58-68 [Thouraya 2000]
- N. Zarour, L. Seinturier, M. Boufaïda, P. Estraillier : “An Agent-based Architecture for the Information Technology Management”, IEEE International Conference on Management of Innovation and Technology (ICMIT '2000), Singapore, Singapore, pp. 738-742, (IEEE) [Zarour 2000a]
- N. Zarour, M. Boufaïda, L. Seinturier, P. Estraillier : “Inter-Agent Cooperation Supported by XML and CORBA in Heterogeneous Information Systems”, International Workshop on Databases in Networked Information Systems (DNIS '2000), vol. 1966, Lecture Notes in Computer Science, Aizu, Japan, pp. 216-227, (Springer) [Zarour 2000b]