Ident. | Authors (with country if any) | Title |
---|
000018 |
Bernardetta Addis [France] ; Danilo Ardagna [Italie] ; Antonio Capone [Italie] ; Giuliana Carello [Italie] | Energy-aware joint management of networks and Cloud infrastructures |
000044 |
Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie] | Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality |
000102 |
Vincent Boudht [France] ; Johanne Cohhn [France] ; Rodolphe Giroudeau [France] ; Jean-Clalide Könic [France] | SCHEDULING IN THE PRESENCE OF PROCESSOR NETWORKS: COMPLEXITY AND APPROXIMATION |
000118 |
Violeta I. Perez-Nueno [France] ; David W. Ritchie [France] | Using Consensus-Shape Clustering To Identify Promiscuous Ligands and Protein Targets and To Choose the Right Query for Shape-Based Virtual Screening |
000151 |
Pierre Konopacki [France, Canada] ; Marc Frappier [Canada] ; Régine Laleau [France] | Modélisation de politiques de sécurité à l'aide d'une algèbre de processus: Présentation de la méthode EB3SEC |
000153 |
Gregory Zacharewicz [France] ; Bruno Vallespir [France] ; David Chen [France] | Interopérabilité des entreprises: Vers l'utilisation d'ontologies éphémères |
000198 |
Charbel Rahhal [France] ; Hala Skaf-Molli [France] ; Pascal Molli [France] | SWooki, un wiki sémantique sur réseau pair-à-pair |
000217 |
Jérome Francois [France] ; Radu State [France] ; Olivier Festor [France] | Botnets IRC et P2P pour une supervision à large échelle : Supervision et sécurité dans les grands réseaux |
000258 |
Fabrice Lauri [France] ; Francois Charpillet [France] | Résolution du problème de la patrouille multi-agent en utilisant des colonies compétitives de fourmis |
000284 |
Mohamed Khalgui [Allemagne, France] | A deployment methodology of real-time industrial control applications in distributed controllers |
000287 |
Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique] | Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence |
000289 |
Didier Bert [France] ; Héctor Ruiz Barradas [France, Mexique] | Propriétés de vivacité dans les systèmes B : Application à l'algorithme de Ricart-Agrawala |
000305 |
Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Francoise Simonot-Lion [France] | An approach for the simultaneous allocation and deployment of distributed component based applications |
000332 |
Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France] | Web Service Mining and Verification of Properties : An Approach Based on Event Calculus |
000339 |
Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Time constraint patterns for event B development |
000344 |
P. Gaudry [France] ; T. Houtmann [France] ; D. Kohel [Australie] ; C. Ritzenthaler [France] ; A. Weng [France] | The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography |
000345 |
Adrien Coulet [France] ; Malika Smail-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France] | Suggested Ontology for Pharmacogenomics (SO-Pharm) : Modular Construction and Preliminary Testing |
000359 |
Thomas Bangemann [Allemagne] ; Xavier Rebeuf [France] ; Denis Reboul [France] ; Andreas Schulze [Allemagne] ; Jacek Szymanski [France] ; Jean-Pierre Thomesse [France] ; Mario Thron [Allemagne] ; Noureddine Zerhouni [France] | PROTEUS : Creating distributed maintenance systems through an integration platform |
000365 |
Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France] | On delays in management frameworks : Metrics, models and analysis |
000382 |
Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France] | Formal design and verification of operational transformation algorithms for copies convergence |
000383 |
Dominique Cansell [France] ; Dominique Méry [France] | Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm |
000399 |
Karim Baina [Maroc] ; Khalid Benali [France] ; Claude Godart [France] | DISCOBOLE : A service architecture for interconnecting workflow processes |
000422 |
Emmanuel Jeannot [France] ; Flavien Vernier [France] | A Practical Approach of Diffusion Load Balancing Algorithms |
000442 |
Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France] | Truly on-the-fly LTL model checking |
000445 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards synchronizing linear collaborative objects with operational transformation |
000455 |
Tomasz Truderung [France, Pologne] | Selecting theories and recursive protocols |
000471 |
Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France] | On the impact of management on the performance of a managed system : A JMX-based management case study |
000476 |
Francois Lamarche [France] ; Lutz Strassburger [Allemagne] | Naming proofs in classical propositional logic |
000479 |
Remi Badonnel [France] ; Radu State [France] ; Olivier Festor [France] | Monitoring end-to-end connectivity in mobile ad-hoc networks |
000501 |
MOHAMED SALAH BOUASSIDA [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] | Efficient clustering for multicast key distribution in MANETs |
000505 |
Mathieu D'Aquin [France] ; Jean Lieber [France] ; Amedeo Napoli [France] | Decentralized case-based reasoning for the semantic web |
000524 |
Luciano P. Reis [Brésil, France] ; Albeno B. Raposo [Brésil] ; Jean-Claude Paul [France] ; Fabien Bosquet [France] | An architecture for collaborative geomodeling |
000529 |
Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | A hierarchical architecture for a distributed management of P2P networks and services |
000535 |
| Sécurité informatique |
000537 |
Marc Eluard [France] ; Thomas Jensen [France] | Validation du contrôle d'accès dans des cartes à puce multiapplications |
000539 |
Jean-Marc Percher [France] ; Ricardo Puttini [France] ; Ludovic Me [France] ; Olivier Camp [France] ; Bernard Jouga [France] ; Patrick Altiers [France] | Un système de détection d'intrusions distribué pour réseaux ad hoc |
000545 |
Anas Abou El Kalam [France] ; Yves Deswarte [France] | Modèle de sécurité pour le secteur de la santé |
000552 |
Hervé Debar [France] ; Benjamin Morin [France] ; Frédéric Cuppens [France] ; Fabien Autrel [France] ; Ludovic Me [France] ; Bernard Vivinis [France] ; Salem Benferhat [France] ; Mireille Ducasse [France] ; Rodolphe Ortalo [France] | Détection d'intrusions : corrélation d'alertes |
000571 |
JIAN LI [France] ; YEQIONG SONG [France] ; Francoise Simonot-Lion [France] | Schedulability analysis for systems under (m,k)-firm constraints |
000573 |
V. Cridlig [France] ; O. Festor [France] ; R. State [France] | Role-based Access Control for XML enabled management gateways |
000592 |
Johanne Cohen [France] ; Emmanuel Jeannot [France] ; Nicolas Padoy [France] | Messages scheduling for data redistribution between clusters |
000598 |
Anis Koubaa [France] ; Ye-Qiong Song [France] ; Jean-Pierre Thomesse [France] | Integrating (m, k)-firm real-time guarantees into the internet QoS Model |
000608 |
Yves Caniou [France] ; Emmanuel Jeannot [France] | Efficient scheduling heuristics for GridRPC systems |
000613 |
Walid Gaaloul [France] ; Sami Bhiri [France] ; Claude Godart [France] | Discovering workflow transactional behavior from event-based log |
000616 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive verification of distributed groupware systems |
000623 |
Alexander Keller [États-Unis] ; Remi Badonnel [France] | Automating the provisioning of application services with the BPEL4WS workflow language |
000626 |
R. State [France] ; O. Festor [France] ; B. Zores [France] | An extensible agent toolkit for device management |
000628 |
MOHAMED SALAH BOUASSIDA [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] | An enhanced hybrid key management protocol for secure multicast in ad hoc networks |
000636 |
Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | A performance-oriented management information model for the Chord peer-to-peer framework |
000640 |
Claude Chaudet [France] ; Olivier Festor [France] ; Isabelle Guerin Lassous [France] ; Radu State [France] | A managed bandwidth reservation protocol for ad hoc networks |
000684 |
Stephan Merz [France] | On the logic of TLA+ |
000691 |
Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | Management of peer-to-peer networks applied to instant messaging |
000709 |
Karim Baïna [France, Australie] ; Khalid Benali [France] ; Claude Godart [France] | Dynamic interconnection of heterogeneous workflow processes through services |
000744 |
Yves Caniou [France] | Ordonnancement pour le modèle temps partagé |
000781 |
Samir Tata [France] | Policies for cooperative virtual teams |
000891 |
Isabelle Guérin Lassous [France] ; Jens Gustedt [France] | Portable List ranking: An experimental study |
000907 |
Ghassan Chaddoud [France] ; Isabelle Chrisment [France] ; André Schaff [France] | Dynamic group key management protocol |
000912 |
Jacques Lonchamp [France] ; Fabrice Muller [France] | Computer-supported deliberations for distributed teams |
000926 |
Jacques Lonchamp [France] ; Fabrice Muller [France] | A generic support for distributed deliberations |
000955 |
N. Navet [France] ; Y.-Q. Song [France] ; F. Simonot [France] | Worst-case deadline failure probability in real-time applications distributed over controller area network |
000A89 |
M. Munier [France] ; K. Benali [France] ; C. Godart [France] | DisCOO, a really distributed system for cooperation |
000B00 |
M. Krajecki [France] | An object oriented environment to manage the parallelism of the FIIT applications |
000B13 |
M. Smaïl [France] | Vers des systèmes évolutifs de recherche d'information : un état de l'art |
000B17 |
B. Mermet [France] ; D. Mery [France] ; D. Samborski [France] | Spécifications de services : une approche avec B |
000B26 |
T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France] | Assistance au développement de spécifications de protocoles de communication |
000B28 |
M. Bounab [Arabie saoudite] ; C. Godart [France] | Tool integration in distributed environments : an experience report in a manufacturing framework |
000B52 |
M. Mouhoub [France] ; F. Charpillet [France] ; J. P. Haton [France] | Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning |
000B75 |
J. Toussaint [France] ; F. Simonot-Lion [France] | Vérification formelle de propriétés temporelles d'une application distribuée temps réel |
000B76 |
L. Vega [France] ; Jean-Pierre Thomesse [France] | Vers une caractérisation temporelle de profils de communication |
000B90 |
D. Boudebous [France] ; Jean-Claude Derniame [France] ; J. Tankoano [France] | Démarche de structuration logique des systèmes temps réel répartis pour la commande de procédés industriels |
000C52 |
| Systèmes à objets : tendances actuelles et évolution |
000C53 |
A. A. David [France] | Vers une recherche coopérative dans les systèmes de recherche d'informations |
000C60 |
P.-Y. Chevalier [France] ; D. Hagimont [France] ; J. Mossiere [France] ; X. Rousset De Pina [France] | Le système réparti à objets Guide |
000C70 |
Y. Song [France] ; F. Simonot-Lion [France] ; N. Navet [France] | Validation of distributed real time systems thanks to performance evaluation of their physical architecture |
000D26 |
A.-I. Mouaddib [France] | Progressive goal-directed reasoning for real-time AI systems |
000D35 |
C. Cardeira [France] ; Z. Mammeri [France] | Ordonnancement de tâches dans les systèmes temps réel et répartis. Algorithmes et critères de classification |