LEADER 06590nam 22008175 450 001 9910144166703321 005 20200707032711.0 010 $a3-540-27860-5 024 7 $a10.1007/b99477 035 $a(CKB)1000000000212492 035 $a(DE-He213)978-3-540-27860-3 035 $a(SSID)ssj0000227331 035 $a(PQKBManifestationID)11185271 035 $a(PQKBTitleCode)TC0000227331 035 $a(PQKBWorkID)10270320 035 $a(PQKB)11001214 035 $a(MiAaPQ)EBC3088811 035 $a(PPN)155174703 035 $a(EXLCZ)991000000000212492 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrinciples of Distributed Systems $e7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /$fedited by Marina Papatriantafilou, Philippe Hunel 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XV, 249 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3144 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-22667-2 320 $aIncludes bibliographical references and index. 327 $aInvited Talk 1 -- Distributing Bits and Atoms -- Invited Talk 2 -- Circuits Without Clocks: What Makes Them Tick? -- Invited Talk 3 -- Towards Very Large, Self-Managing Distributed Systems -- Distributed and Multiprocessor Algorithms I -- Linear Time Byzantine Self-Stabilizing Clock Synchronization -- Detecting Locally Stable Predicates Without Modifying Application Messages -- Multiple Agents RendezVous in a Ring in Spite of a Black Hole -- Splitters: Objects for Online Partitioning -- Peer-to-Peer Systems, Middleware I -- Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases -- A Peer-to-Peer Approach to Enhance Middleware Connectivity -- Multicast in Overlay Networks -- Peer-to-Peer Systems, Middleware II -- Real-Time Framework for Distributed Embedded Systems -- Self-Organization Approach of Communities for P2P Networks -- The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience -- Real-Time and Embedded Systems -- dSL: An Environment with Automatic Code Distribution for Industrial Control Systems -- A Lower-Bound Algorithm for Load Balancing in Real-Time Systems -- A Simple Testing Technique for Embedded Systems -- Verification, Models, Performance of Distributed Systems -- Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing -- Transformations for Write-All-with-Collision Model -- Transient Model for Jackson Networks and Its Approximation -- Distributed and Multiprocessor Algorithms II -- Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems -- Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks -- Decoupled Interconnection of Distributed Memory Models. 330 $aThe 7th International Conference on Principles of Distributed Systems (OPODIS2003) was held during December 10?13, 2003 at La Martinique,French West Indies, and was co-organized by the Universit´ edes Antille set del a Guyane, La Martinique, French West Indies and by Chalmers University of Technology, Sweden. It continued a tradition of successful conferences with friendly and pleasant atmospheres. The earlier organizations of OPODIS were held in Luzarches (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001) and Reims (2002). OPODIS is an open forum for the exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous organizations, its program is composed of high-quality contributed and invited papers by experts of international caliber in this scientific area. The topics of interest are theory, specifications, design and implementation of distributed systems, including distributed and multiprocessor algorithms; communication and synchronization protocols; coordination and consistency protocols; stabilization, reliability and fault-tolerance of distributed systems; performance analysis of distributed algorithms and systems; specification and verification of distributed systems; security issues in distributed computing and systems; and applications of distributed computing, such as embedded distributed systems, real-time distributed systems, distributed collaborative environments, peer-to-peer systems, cluster and grid computing. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3144 606 $aComputers 606 $aComputer networks 606 $aSoftware engineering 606 $aComputer programming 606 $aOperating systems (Computers) 606 $aComputers, Special purpose 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aComputers. 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 $aPapatriantafilou$b Marina$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHunel$b Philippe$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aOPODIS 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144166703321 996 $aPrinciples of Distributed Systems$9772112 997 $aUNINA