Principles of Distributed Systems: 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised ... (Lecture Notes in Computer Science, 3144) - Tapa blanda

Reseña del editor

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.

Reseña del editor

This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Principles of Distributed Systems, OPODIS 2003, held at La Martinique, French West Indies in December 2003.

The 19 revised full papers presented together with abstracts of 3 invited talks were carefully selected from 61 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on distributed and multiprocessor algorithms; peer-to peer systems and middleware; real-time and embedded systems; and verification, modeling, and performance of distributed systems.