Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers / edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer.

Invited Talk 1 -- Distributed Algorithms for Systems of Autonomous Mobile Robots -- Invited Talk 2 -- Real-Time Issues in Mobile Wireless Networks -- Session 1: Nonblocking Synchronization -- A Lazy Concurrent List-Based Set Algorithm -- Efficiently Implementing a Large Number of LL/SC Objects -- Can Memory Be Used Adaptively by Uniform Algorithms? -- Randomized Wait-Free Consensus Using an Atomicity Assumption -- Session 2: Fault-Tolerant Broadcast and Consensus -- Optimal Randomized Fair Exchange with Secret Shared Coins -- Two Abstractions for Implementing Atomic Objects in Dynamic Systems -- Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast -- Session 3: Self-stabilizing Systems -- Self-stabilizing Population Protocols -- A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks -- Timed Virtual Stationary Automata for Mobile Networks -- Asynchronous and Fully Self-stabilizing Time-Adaptive Majority Consensus -- Session 4: Peer-to-Peer Systems and Collaborative Environments -- Stable Predicate Detection in Dynamic Systems -- MTcast: Robust and Efficient P2P-Based Video Delivery for Heterogeneous Users -- Towards a Theory of Self-organization -- Node Discovery in Networks -- Session 5: Sensor Networks and Mobile Computing -- Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks -- Half-Space Proximal: A New Local Test for Extracting a Bounded Dilation Spanner of a Unit Disk Graph -- A State-Based Model of Sensor Protocols -- Session 6: Security and Verification -- Approximation Bounds for Black Hole Search Problems -- Revising UNITY Programs: Possibilities and Limitations -- Session 7: Real-Time Systems -- The Partitioned, Static-Priority Scheduling of Sporadic Real-Time Tasks with Constrained Deadlines on Multiprocessor Platforms -- New Schedulability Tests for Real-Time Task Sets Scheduled by Deadline Monotonic on Multiprocessors -- Static-Priority Scheduling of Sporadic Messages on a Wireless Channel -- Implementing Reliable Distributed Real-Time Systems with the ?-Model -- Session 8: Peer-to-Peer Systems -- Reconfigurable Distributed Storage for Dynamic Networks -- Skip B-Trees -- Bounding Communication Cost in Dynamic Load Balancing of Distributed Hash Tables -- Session 9: Sensor Networks and Mobile Computing -- On the Power of Anonymous One-Way Communication -- Quality-Aware Resource Management for Wireless Sensor Networks -- Topology Control with Limited Geometric Information.

The9thInternationalConferenceonPrinciplesofDistributedSystems(OPODIS 2005) was held during December 12–14, 2005 in Pisa, Italy. It continued a t- dition of successful conferences with friendly and pleasant atmospheres. Pre- ous OPODIS conferences were held in Chantilly (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002), La Martinique (2003), and Grenoble (2004). TheOPODISconferenceconstitutesanopenforumfor theexchangeofsta- of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous events, the 2005 program was composed of high-quality contributed papers by experts of int- national caliber in this scienti?c area. Papers were sought soliciting original research contributions to the theory, speci?cations, design and implementation of distributed systems, including: – communication and synchronization protocols – distributed algorithms, multiprocessor algorithms – distributed collaborative environments – embedded systems – fault-tolerance, reliability, availability – grid and cluster computing – location- and context-aware systems – mobile computing and networks – peer-to-peer systems, overlay networks – performance analysis of distributed algorithms and systems – real-time systems – security issues in distributed computing and systems – sensor networks – speci?cation veri?cation and testing of distributed systems This year, a particular focus was placed on real-time systems and wireless networks. In response to the call for papers for OPODIS 2005, 109 papers in the above areas were submitted from 30 countries from around the world. Each paper was reviewed by at least three reviewers, and judged according to scienti?c and p- sentationquality,originalityandrelevancetotheconferencetopics. TheProgram Committee selected 30 papers for presentation at the conference.