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.
Author(s): David Lee, Christine Liu, Mihalis Yannakakis (auth.), Teruo Higashino (eds.)
Series: Lecture Notes in Computer Science 3544 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 472
Tags: Computer Communication Networks; Software Engineering; Programming Techniques; Operating Systems; Special Purpose and Application-Based Systems
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 -
