6. OPODIS 2002: Reims, France

Alain Bui, Hacène Fouchal (Eds.): Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, Reims, France, December 11-13, 2002. Studia Informatica Universalis 3 Suger, Saint-Denis, rue Catulienne, France 2002, ISBN 2-912590-26-4 BibTeX

@proceedings{DBLP:conf/opodis/2002,
  editor    = {Alain Bui and
               Hac{\`e}ne Fouchal},
  title     = {Procedings of the 6th International Conference on Principles
               of Distributed Systems. OPODIS 2002, Reims, France, December
               11-13, 2002},
  booktitle = {OPODIS},
  publisher = {Suger, Saint-Denis, rue Catulienne, France},
  series    = {Studia Informatica Universalis},
  volume    = {3},
  year      = {2002},
  isbn      = {2-912590-26-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

Tommaso Bolognesi: What happens? On notions of event in formal methods and elsewhere. 1-3 BibTeX
Michel Cosnard: Automatic Parallelization of numerical programss : Application to Solve Linear Dense and Sparse Systemss. 3-5 BibTeX
Henri Gouraud: Sun Platform. 5-7 BibTeX
Leslie Lamport: Paxos Made Simple, Fast, and Byzantine. 7-9 BibTeX

Session 2: Regular Papers

Spyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintijn: Transparent Data Relocation in Highly Available Distributed Systems. 9-16 BibTeX
Jukka Ylitalo, P. Jokela, Jorma Wall: End-point Identifiers in Secure Multi-homed Mobility. 17-28 BibTeX
Laura Margarita Rodríguez Peralta, Thierry Villemur, Khalil Drira, José Martín Molina Espinosa: Managing Dependencies in Dynamic Collaborations using Coordination Diagrams. 29-40 BibTeX

Session 3: Regular Papers

Roberto Baldoni, C. Sparziani, Sara Tucci Piergiovanni, Daniela Tulone: An Implementation of Causal Memories using the Writing Semantic. 41-50 BibTeX
Emmanuelle Anceaume, Eric Mourgaya, Philippe Raipin Parvédy: Converging toward Decision Conditions. 51-62 BibTeX
Shilpa Bansod, Jean Mayo: A Distributed Algorithm for Unstable Global Predicate Evaluation with Approximately Synchronized Clocks. 63-72 BibTeX

Session 4: Short Papers

Sébastien Salva: Testing temporal and behavior events on timed systems with timed test purposes. 73-84 BibTeX
Nicandro Farías Mendoza, Félix F. Ramos Corchado, Victor Larios-Rosillo: LCIASA: A Useful Language for Specification and Verification of Agent-Based Systems. 85-94 BibTeX
Xavier Rebeuf, G. Satriano, Françoise Simonot-Lion: A Distributed Algorithm for the Validation of Timed State Machines. 95-106 BibTeX

Session 5: Regular Papers

Boris Koldehofe: Simple Gossipping with Balls and Bins. 107-116 BibTeX
T. Harada, M. Yamashita: k-Coteries for Tolerating Network 2-Partition. 117-124 BibTeX

Session 6: Regular Papers

Chryssis Georgiou, Alexander Russell, Alexander A. Shvartsman: Failure sensitive analysis for parallel algorithm with controlled memory access concurrency. 125-136 BibTeX
Stéphane Vialle, Guillaume Schaeffer, Michel Ianotto: A Design of Multi-Startegy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs. 137-148 BibTeX

Session 8: Regular Papers

C. Delamare, Yvon Gardan, Patrice Moreaux: Verification of CORBA systems with composition of Well Formed Nets. 149-158 BibTeX
Phuong-Quynh Duong, Elizabeth Pérez Cortés, Christine Collet: Functional Architecture of the NODS Fault Tolerance Framework. 159-168 BibTeX

Session 9: Regular Papers

Stefan Dobrev, Paola Flocchini, Rastislav Kralovic, Giuseppe Prencipe, Peter Ruzicka, Nicola Santoro: Black Hole Search by Mobile Agents in Hypercubes and Related Networks. 169-180 BibTeX
R. F. Vallejo, E. Vallejo, R. Gomez: The Incidence of the Controllable Parameters in Routing Algorithms Based on Ant Colony Optimization. 181-192 BibTeX

Session 10: Short Papers

Christian Laforest: A good balance between weight and distances for multipoint trees. 193-202 BibTeX
T. Okita: Load Balance Protocol of Cluster on Grid: Pervasive Maximum Algorithmic Parallelism. 203-210 BibTeX
Vania Marangozova, Daniel Hagimont: An Architectural Approach to Replication Configuration. 211-222 BibTeX
Moustafa Nakechbandi, Christian Delaruelle, Jean-Yves Colin: Bounding the makespan of best pre-schedulings of task graphs with fixed communication delays and random execution times on a virtual distributed system. 223-231 BibTeX