Principles of Distributed Systems

The 8th International Conference on Principles of Distributed Systems (OPODIS 2004) was held during December 15 17, 2004 at Grenoble, France. It continued a tradition of successful conferences with friendly and pleasant - mospheres. The earlier organizationsof OPODIS were held in Luzarches(1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002) and La Martinique (2003). OPODIS is an open forum for exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. Followingthetraditionofthepreviousorganizations,the2004programwasc- posed of high-quality contributed and invited papers by experts of international caliberinthisscienti?carea. Thetopics ofinterestwerethetheory,speci?cation, design and implementation of distributed systems, which include: - peer-to-peer systems, cluster and grid-based computing - fault tolerance and self-stabilizing systems -real-timeandembeddedsystems - coordination and consistency protocols - distributed and multiprocessor algorithms - communication and synchronization protocols - self-stabilization, reliability and fault tolerance - performance analysis of distributed algorithms and systems - speci?cation and veri?cation of distributed systems - security issues in distributed computing and systems - distributed collaborative environments - location- and context-aware systems - overlay network architectures In response to the call for papers for OPODIS 2004, in total 102 papers in the above areas were submitted from 28 countries from over the world. Each paper was reviewed by three reviewers, and judged according to scienti?c and presentationquality,originality andrelevance to the conference topics. Then the ProgramCommitteeselected30papers. Theacceptanceratiowaslessthan30%. Besides the technical contributed papers, the program included two exciting invited talks: Prof. David Lee (Ohio State University, USA) and Dr.

Klappentext

Theacceptanceratiowaslessthan30%. Besides the technical contributed papers, the program included two exciting invited talks: Prof. David Lee (Ohio State University, USA) and Dr.

Inhalt
Invited Session I.- Protocol System Integration, Interface and Interoperability.- Session I (Design of Distributed Systems I).- DART: Distributed Automated Regression Testing for Large-Scale Network Applications.- Testing Mobile and Distributed Systems: Method and Experimentation.- A UNITY-Based Framework Towards Component Based Systems.- Session II (Ad-Hoc Networks and Mobile Agents).- Searching for a Black Hole in Tree Networks.- Fast Localized Delaunay Triangulation.- Robust Topology Control Protocols.- A Scheme Encouraging Mobile Nodes to Forward Packets via Multiple Wireless Links Aggregating System Between the Internet and Mobile Ad Hoc Networks.- Session III (Grid and Networks).- A Protocol for Recording Provenance in Service-Oriented Grids.- Self-optimizing DHTs Using Request Profiling.- Computing All the Best Swap Edges Distributively.- SRF TCP: A TCP-Friendly and Fair Congestion Control Method for High-Speed Networks.- Invited Session II.- Embedded Systems Challenges and Work Directions.- Session IV (Security).- Comparison of Failures and Attacks on Random and Scale-Free Networks.- Firewall Queries.- Session V (Distributed Algorithms).- Self-tuning Reactive Distributed Trees for Counting and Balancing.- Optimal Resilience Asynchronous Approximate Agreement.- Lock-Free and Practical Doubly Linked List-Based Deques Using Single-Word Compare-and-Swap.- Session VI (Self-stabilization).- A Dynamic Reconfiguration Tolerant Self-stabilizing Token Circulation Algorithm in Ad-Hoc Networks.- Snap-Stabilizing Depth-First Search on Arbitrary Networks.- A Self-stabilizing Link-Coloring Protocol Resilient to Byzantine Faults in Tree Networks.- A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks.- Session VII (Design of Distributed SystemsII).- The Quorum Deployment Problem.- A Constraint-Based Formalism for Consistency in Replicated Systems.- Analyzing Convergence in Consistency Models for Distributed Objects.- Session VIII (Sensor Networks).- Directional Versus Omnidirectional Antennas for Energy Consumption and k-Connectivity of Networks of Sensors.- Secure Location Verification Using Radio Broadcast.- Sentries and Sleepers in Sensor Networks.- Clock Synchronization for Wireless Networks.- Session IX (Task/Resource Allocation).- Task Assignment Based on Prioritising Traffic Flows.- A Novel Distributed Scheduling Algorithm for Resource Sharing Under Near-Heavy Load.- Internet Computing of Tasks with Dependencies Using Unreliable Workers.