Principles of Distributed Systems

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.