LEADER 06142nam 22009015 450 001 9910483512703321 005 20251226200220.0 010 $a3-540-77096-8 024 7 $a10.1007/978-3-540-77096-1 035 $a(CKB)1000000000490879 035 $a(SSID)ssj0000319537 035 $a(PQKBManifestationID)11237750 035 $a(PQKBTitleCode)TC0000319537 035 $a(PQKBWorkID)10339723 035 $a(PQKB)10904047 035 $a(DE-He213)978-3-540-77096-1 035 $a(MiAaPQ)EBC4975621 035 $a(MiAaPQ)EBC5578699 035 $a(MiAaPQ)EBC6698792 035 $a(Au-PeEL)EBL4975621 035 $a(CaONFJC)MIL185034 035 $a(OCoLC)1024280589 035 $a(Au-PeEL)EBL5578699 035 $a(OCoLC)1066198721 035 $a(Au-PeEL)EBL6698792 035 $a(PPN)124494730 035 $a(EXLCZ)991000000000490879 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPrinciples of Distributed Systems $e11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings /$fedited by Eduardo Tovar, Philippas Tsigas, Hacène Fouchal 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XIII, 466 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4878 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-77095-X 327 $aA Decentralized, Scalable, and Autonomous Grid Monitoring System -- A Formal Analysis of the Deferred Update Technique -- ASAP: A Camera Sensor Network for Situation Awareness -- Asynchronous Active Recommendation Systems -- Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks -- Byzantine Consensus with Few Synchronous Links -- Clock Synchronization in the Byzantine-Recovery Failure Model -- Computing Without Communicating: Ring Exploration by Asynchronous Oblivious Robots -- Deterministic Communication in the Weak Sensor Model -- Deterministic Leader Election in Anonymous Sensor Networks Without Common Coordinated System -- Distance Sensitive Snapshots in Wireless Sensor Networks -- Distributed Approximation Algorithms for Finding 2-Edge-Connected Subgraphs -- Does Clock Precision Influence ZigBee?s Energy Consumptions? -- From an Intermittent Rotating Star to a Leader -- Global Deadline-Monotonic Scheduling of Arbitrary-Deadline Sporadic Task Systems -- LFthreads: A Lock-Free Thread Library -- Making Distributed Applications Robust -- Maximizing the Number of Broadcast Operations in Static Random Geometric Ad-Hoc Networks -- N-Consensus is the Second Strongest Object for N?+?1 Processes -- Non-Searchability of Random Power-Law Graphs -- O(logn)-Time Overlay Network Construction from Graphs with Out-Degree 1 -- On the Self-stabilization of Mobile Robots in Graphs -- Peer to Peer Multidimensional Overlays: Approximating Complex Structures -- Secretive Birds: Privacy in Population Protocols -- Self-stabilizing and Byzantine-Tolerant Overlay Network -- Separability to Help Parallel Simulation of Distributed Computations -- Small-World Networks: From Theoretical Bounds to Practical Systems -- The Anonymous Consensus Hierarchy and NamingProblems -- The Baskets Queue -- The Cost of Monotonicity in Distributed Graph Searching -- Timed Quorum Systems for Large-Scale and Dynamic Environments -- Worm Versus Alert: Who Wins in a Battle for Control of a Large-Scale Network?. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Principles of Distributed Systems, OPODIS 2007, held in Guadeloupe, French West Indies, in December 2007. The 32 revised full papers presented were carefully reviewed and selected from 106 submissions. The papers address all current issues in theory, specification, design and implementation of distributed and embedded systems. Topics addressed are communication and synchronization protocols, distributed algorithms, multiprocessor algorithms, distributed cooperative computing, embedded systems, fault-tolerance, reliability, availability, grid and cluster computing, location- and context-aware systems, mobile agents and autonomous robot, mobile computing and networks, peer- to-peer systems, overlay networks, complexity and lower bounds, performance analysis of distributed systems, realtime systems, security issues in distributed computing and systems, sensor networks: theory and practice, specification and verification of distributed systems, as well as testing and experimentation with distributed systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4878 606 $aComputer science 606 $aComputer networks 606 $aSoftware engineering 606 $aComputer programming 606 $aOperating systems (Computers) 606 $aComputers, Special purpose 606 $aTheory of Computation 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aOperating Systems 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputer science. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aOperating systems (Computers). 615 0$aComputers, Special purpose. 615 14$aTheory of Computation. 615 24$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.36 702 $aTovar$b Eduardo 702 $aTsigas$b Philippas 702 $aFouchal$b Hace?ne 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483512703321 996 $aPrinciples of Distributed Systems$9772112 997 $aUNINA