Abstract is missing.
- What happens? On notions of event in formal methods and elsewhereTommaso Bolognesi. 1-3
- Automatic Parallelization of numerical programss : Application to Solve Linear Dense and Sparse SystemssMichel Cosnard. 3-5
- Sun PlatformHenri Gouraud. 5-7
- Paxos Made Simple, Fast, and ByzantineLeslie Lamport. 7-9
- Transparent Data Relocation in Highly Available Distributed SystemsSpyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintijn. 9-16
- End-point Identifiers in Secure Multi-homed MobilityJukka Ylitalo, P. Jokela, Jorma Wall. 17-28
- Managing Dependencies in Dynamic Collaborations using Coordination DiagramsLaura Margarita Rodríguez Peralta, Thierry Villemur, Khalil Drira, José Martín Molina Espinosa. 29-40
- An Implementation of Causal Memories using the Writing SemanticRoberto Baldoni, C. Sparziani, Sara Tucci Piergiovanni, Daniela Tulone. 41-50
- Converging toward Decision ConditionsEmmanuelle Anceaume, Eric Mourgaya, Philippe Raipin Parvédy. 51-62
- A Distributed Algorithm for Unstable Global Predicate Evaluation with Approximately Synchronized ClocksShilpa Bansod, Jean Mayo. 63-72
- Testing temporal and behavior events on timed systems with timed test purposesSébastien Salva. 73-84
- LCIASA: A Useful Language for Specification and Verification of Agent-Based SystemsNicandro Farías Mendoza, Félix F. Ramos Corchado, Victor Larios-Rosillo. 85-94
- A Distributed Algorithm for the Validation of Timed State MachinesXavier Rebeuf, G. Satriano, Françoise Simonot-Lion. 95-106
- Simple Gossipping with Balls and BinsBoris Koldehofe. 107-116
- k-Coteries for Tolerating Network 2-PartitionT. Harada, M. Yamashita. 117-124
- Failure sensitive analysis for parallel algorithm with controlled memory access concurrencyChryssis Georgiou, Alexander Russell, Alexander A. Shvartsman. 125-136
- A Design of Multi-Startegy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCsStéphane Vialle, Guillaume Schaeffer, Michel Ianotto. 137-148
- Verification of CORBA systems with composition of Well Formed NetsC. Delamare, Yvon Gardan, Patrice Moreaux. 149-158
- Functional Architecture of the NODS Fault Tolerance FrameworkPhuong-Quynh Duong, Elizabeth Pérez Cortés, Christine Collet. 159-168
- Black Hole Search by Mobile Agents in Hypercubes and Related NetworksStefan Dobrev, Paola Flocchini, Rastislav Kralovic, Giuseppe Prencipe, Peter Ruzicka, Nicola Santoro. 169-180
- The Incidence of the Controllable Parameters in Routing Algorithms Based on Ant Colony OptimizationR. F. Vallejo, E. Vallejo, R. Gomez. 181-192
- A good balance between weight and distances for multipoint treesChristian Laforest. 193-202
- Load Balance Protocol of Cluster on Grid: Pervasive Maximum Algorithmic ParallelismT. Okita. 203-210
- An Architectural Approach to Replication ConfigurationVania Marangozova, Daniel Hagimont. 211-222
- Bounding the makespan of best pre-schedulings of task graphs with fixed communication delays and random execution times on a virtual distributed systemMoustafa Nakechbandi, Christian Delaruelle, Jean-Yves Colin. 223-231