03540nam 22007575 450 991048405520332120230405233736.010.1007/11577327(CKB)1000000000213340(SSID)ssj0000319971(PQKBManifestationID)11214978(PQKBTitleCode)TC0000319971(PQKBWorkID)10342357(PQKB)11636694(DE-He213)978-3-540-32123-1(MiAaPQ)EBC3067903(PPN)123098440(EXLCZ)99100000000021334020100323d2005 u| 0engurnn#008mamaatxtccrSelf-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 /edited by Sébastien Tixeuil, Ted Herman1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (X, 229 p.)Theoretical Computer Science and General Issues,2512-2029 ;3764Bibliographic Level Mode of Issuance: Monograph3-540-32123-3 3-540-29814-2 Includes bibliographical references and index.Snap-Stabilizing Optimal Binary Search Tree -- Synchronous vs. Asynchronous Unison -- A Snap-Stabilizing DFS with a Lower Space Requirement -- Self-stabilization of Byzantine Protocols -- Self-stabilization with r-Operators Revisited -- Self-stabilization Preserving Compiler -- Self-stabilizing Mobile Node Location Management and Message Routing -- Memory Management for Self-stabilizing Operating Systems -- Code Stabilization -- Stabilizing Certificate Dispersal -- On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection -- Approximation of Self-stabilizing Vertex Cover Less Than 2 -- Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings -- Towards Automatic Convergence Verification of Self-stabilizing Algorithms -- About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks.Theoretical Computer Science and General Issues,2512-2029 ;3764Computer networksSoftware engineeringComputers, Special purposeComputer scienceAlgorithmsElectronic data processing—ManagementComputer Communication NetworksSoftware EngineeringSpecial Purpose and Application-Based SystemsTheory of ComputationAlgorithmsIT OperationsComputer networks.Software engineering.Computers, Special purpose.Computer science.Algorithms.Electronic data processing—Management.Computer Communication Networks.Software Engineering.Special Purpose and Application-Based Systems.Theory of Computation.Algorithms.IT Operations.004.6Tixeuil Sébastienedthttp://id.loc.gov/vocabulary/relators/edtHerman Tededthttp://id.loc.gov/vocabulary/relators/edtBOOK9910484055203321Self-Stabilizing Systems772796UNINA