Principles Of Distributed Systems: 8th International Conference, Opodis 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers (lecture . Computer Science And General Issues)

This book constitutes the thoroughly refereed post-proceedings of the 8th International Conference on Principles of Distributed Systems, OPODIS 2004, held at Grenoble, France, in December 2004. The 30 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on design of distributed systems, ad-hoc networks and mobile agents, grid and networks, security, distributed algorithms, self-stabilization, sensor networks, and task/resource allocation. Front Matter....Pages - Protocol System Integration, Interface and Interoperability....Pages 1-19 DART: Distributed Automated Regression Testing for Large-Scale Network Applications....Pages 20-36 Testing Mobile and Distributed Systems: Method and Experimentation....Pages 37-51 A UNITY-Based Framework Towards Component Based Systems....Pages 52-66 Searching for a Black Hole in Tree Networks....Pages 67-80 Fast Localized Delaunay Triangulation....Pages 81-93 Robust Topology Control Protocols....Pages 94-109 A Scheme Encouraging Mobile Nodes to Forward Packets via Multiple Wireless Links Aggregating System Between the Internet and Mobile Ad Hoc Networks....Pages 110-123 A Protocol for Recording Provenance in Service-Oriented Grids....Pages 124-139 Self-optimizing DHTs Using Request Profiling....Pages 140-153 Computing All the Best Swap Edges Distributively....Pages 154-168 SRF TCP: A TCP-Friendly and Fair Congestion Control Method for High-Speed Networks....Pages 169-183 Embedded Systems – Challenges and Work Directions....Pages 184-185 Comparison of Failures and Attacks on Random and Scale-Free Networks....Pages 186-196 Firewall Queries....Pages 197-212 Self-tuning Reactive Distributed Trees for Counting and Balancing....Pages 213-228 Optimal Resilience Asynchronous Approximate Agreement....Pages 229-239 Lock-Free and Practical Doubly Linked List-Based Deques Using Single-Word Compare-and-Swap....Pages 240-255 A Dynamic Reconfiguration Tolerant Self-stabilizing Token Circulation Algorithm in Ad-Hoc Networks....Pages 256-266 Snap-Stabilizing Depth-First Search on Arbitrary Networks....Pages 267-282 A Self-stabilizing Link-Coloring Protocol Resilient to Byzantine Faults in Tree Networks....Pages 283-298 A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks....Pages 299-315 The Quorum Deployment Problem....Pages 316-330 A Constraint-Based Formalism for Consistency in Replicated Systems....Pages 331-345 Analyzing Convergence in Consistency Models for Distributed Objects....Pages 346-356 Directional Versus Omnidirectional Antennas for Energy Consumption and k -Connectivity of Networks of Sensors....Pages 357-368 Secure Location Verification Using Radio Broadcast....Pages 369-383 Sentries and Sleepers in Sensor Networks....Pages 384-399 Clock Synchronization for Wireless Networks....Pages 400-414 Task Assignment Based on Prioritising Traffic Flows....Pages 415-430 A Novel Distributed Scheduling Algorithm for Resource Sharing Under Near-Heavy Load....Pages 431-442 Internet Computing of Tasks with Dependencies Using Unreliable Workers....Pages 443-458 Back Matter....Pages - "The 8th International Conference on Principles of Distributed Systems (OPODIS 2004) was held during December 15 -17, 2004 at Grenoble, France."