TY - BOOK AU - Higashino,Teruo ED - SpringerLink (Online service) TI - Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783540315841 AV - TK5105.5-5105.9 U1 - 004.6 23 PY - 2005/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer communication systems KW - Special purpose computers KW - Computer programming KW - Software engineering KW - Operating systems (Computers) KW - Computer Science KW - Computer Communication Networks KW - Software Engineering KW - Programming Techniques KW - Operating Systems KW - Special Purpose and Application-Based Systems N1 - 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 Systems II) -- 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 UR - http://dx.doi.org/10.1007/b138689 ER -