Principles of distributed systems

InhaltsverzeichnisInvited 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.