6. OPODIS 2002: Reims, France

@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
• Michel Cosnard: Automatic Parallelization of numerical programss : Application to Solve Linear Dense and Sparse Systemss. 3-5
• Henri Gouraud: Sun Platform. 5-7
• Leslie Lamport: Paxos Made Simple, Fast, and Byzantine. 7-9

Session 2: Regular Papers

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

Session 3: Regular Papers

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

Session 4: Short Papers

• Sébastien Salva: Testing temporal and behavior events on timed systems with timed test purposes. 73-84
• 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
• Xavier Rebeuf, G. Satriano, Françoise Simonot-Lion: A Distributed Algorithm for the Validation of Timed State Machines. 95-106

Session 5: Regular Papers

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

Session 6: Regular Papers

• Chryssis Georgiou, Alexander Russell, Alexander A. Shvartsman: Failure sensitive analysis for parallel algorithm with controlled memory access concurrency. 125-136
• 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

Session 8: Regular Papers

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

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
• R. F. Vallejo, E. Vallejo, R. Gomez: The Incidence of the Controllable Parameters in Routing Algorithms Based on Ant Colony Optimization. 181-192

Session 10: Short Papers

• Christian Laforest: A good balance between weight and distances for multipoint trees. 193-202
• T. Okita: Load Balance Protocol of Cluster on Grid: Pervasive Maximum Algorithmic Parallelism. 203-210
• Vania Marangozova, Daniel Hagimont: An Architectural Approach to Replication Configuration. 211-222
• 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