1.

Record Nr.

UNINA9910483844203321

Titolo

Principles of Distributed Systems [[electronic resource] ] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / / edited by Teruo Higashino

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005

ISBN

3-540-31584-5

Edizione

[1st ed. 2005.]

Descrizione fisica

1 online resource (XII, 472 p.)

Collana

Theoretical Computer Science and General Issues, , 2512-2029 ; ; 3544

Disciplina

004

Soggetti

Computer networks

Software engineering

Computer programming

Operating systems (Computers)

Computers, Special purpose

Computer Communication Networks

Software Engineering

Programming Techniques

Operating Systems

Special Purpose and Application-Based Systems

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

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.

Sommario/riassunto

This book constitutes the thoroughly referred 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.