LEADER 05922nam 22008295 450 001 9910483844203321 005 20230406061920.0 010 $a3-540-31584-5 024 7 $a10.1007/b138689 035 $a(CKB)1000000000232390 035 $a(SSID)ssj0000319539 035 $a(PQKBManifestationID)11246623 035 $a(PQKBTitleCode)TC0000319539 035 $a(PQKBWorkID)10336869 035 $a(PQKB)10271949 035 $a(DE-He213)978-3-540-31584-1 035 $a(MiAaPQ)EBC6284187 035 $a(MiAaPQ)EBC4976507 035 $a(MiAaPQ)EBC5579356 035 $a(Au-PeEL)EBL4976507 035 $a(CaONFJC)MIL140642 035 $a(OCoLC)1024284257 035 $a(Au-PeEL)EBL5579356 035 $a(OCoLC)262681369 035 $a(PPN)123096030 035 $a(EXLCZ)991000000000232390 100 $a20100714d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPrinciples of Distributed Systems $e8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /$fedited by Teruo Higashino 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 472 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3544 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-27324-7 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3544 606 $aComputer networks 606 $aSoftware engineering 606 $aComputer programming 606 $aOperating systems (Computers) 606 $aComputers, Special purpose 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aOperating Systems 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aOperating systems (Computers). 615 0$aComputers, Special purpose. 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aOperating Systems. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004 702 $aHigashino$b Teruo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483844203321 996 $aPrinciples of Distributed Systems$9772112 997 $aUNINA