Principles of Distributed Systems: 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers

by Marina Papatriantafilou (Editor), Philippe Hunel (Editor)

Overview

The 7th International Conference on Principles of Distributed Systems (OPODIS2003)washeldduringDecember10-13,2003atLaMartinique, French WestIndies, andwasco-organizedbytheUniversit´ edesAntillesetdelaGuyane, La Martinique, French West Indies and by Chalmers University of Techn- ogy, Sweden. It continued a tradition of successful conferences with friendly and pleasant atmospheres. The earlier organizations of OPODIS were held in Luzarches (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001) and Reims (2002). OPODIS is an open forum for the exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous organizations, its program is composed of high-quality contributed and invited papers by experts of international caliber in this scienti?c area. The topics of interest are theory, speci?cations, design and implementation of distributed systems, including distributed and multiproc- sor algorithms; communication and synchronization protocols; coordination and consistency protocols; stabilization, reliability and fault-tolerance of distributed systems; performance analysis of distributed algorithms and systems; speci?- tion and veri?cation of distributed systems; security issues in distributed c- puting and systems; and applications of distributed computing, such as emb- ded distributed systems, real-time distributed systems, distributed collaborative environments, peer-to-peer systems, cluster and grid computing.

Product Details

ISBN-13:	9783540226673
Publisher:	Springer Berlin Heidelberg
Publication date:	10/05/2004
Series:	Lecture Notes in Computer Science , #3144
Edition description:	2004
Pages:	249
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Invited Talk 1.- Distributing Bits and Atoms.- Invited Talk 2.- Circuits Without Clocks: What Makes Them Tick?.- Invited Talk 3.- Towards Very Large, Self-Managing Distributed Systems.- Distributed and Multiprocessor Algorithms I.- Linear Time Byzantine Self-Stabilizing Clock Synchronization.- Detecting Locally Stable Predicates Without Modifying Application Messages.- Multiple Agents RendezVous in a Ring in Spite of a Black Hole.- Splitters: Objects for Online Partitioning.- Peer-to-Peer Systems, Middleware I.- Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases.- A Peer-to-Peer Approach to Enhance Middleware Connectivity.- Multicast in Overlay Networks.- Peer-to-Peer Systems, Middleware II.- Real-Time Framework for Distributed Embedded Systems.- Self-Organization Approach of Communities for P2P Networks.- The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience.- Real-Time and Embedded Systems.- dSL: An Environment with Automatic Code Distribution for Industrial Control Systems.- A Lower-Bound Algorithm for Load Balancing in Real-Time Systems.- A Simple Testing Technique for Embedded Systems.- Verification, Models, Performance of Distributed Systems.- Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.- Transformations for Write-All-with-Collision Model.- Transient Model for Jackson Networks and Its Approximation.- Distributed and Multiprocessor Algorithms II.- Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems.- Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks.- Decoupled Interconnection of Distributed Memory Models.