Self stabilizing systems : 7th international symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 : proceedings /
Self stabilizing systems : 7th international symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 : proceedings /
Ted Herman, Sébastien Tixeuil.
- New York, NY : Springer, 2005.
- 1 online resource (x, 228 pages) : illustrations
- Lecture notes in computer science ; 3764 .
- Lecture notes in computer science ; 3764. .
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.
Annotation This book constitutes the refereed proceedings of the 7th International Symposium on Self-Stabilizing Systems, SSS 2005, held in Barcelona, Spain, in October 2005. The 15 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address classical topics of self-stabilization, prevailing extensions to the field, such as snap-stabilization, code stabilization, self-stabilization with either dynamic, faulty or Byzantine components, or deal with applications of self-stabilization, either related to operating systems, security, or mobile and ad hoc networks.
9783540321231 3540321233 3540298142 9783540298144
9786611391522
978-3-540-29814-4 Springer http://www.springerlink.com
05,A50,0096 dnb
Self-stabilization (Computer science)--Congresses.
Autostabilisation (Informatique)--Congrès.
COMPUTERS--Software Development & Engineering--Quality Assurance & Testing.
Informatique.
Self-stabilization (Computer science)
Adaptives System
Selbsteinstellendes System
Stabilisierung
Verteilter Algorithmus
Verteiltes System
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Barcelona (2005)
Kongress.
QA76.9.S54 / S77 2005
005.14
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.
Annotation This book constitutes the refereed proceedings of the 7th International Symposium on Self-Stabilizing Systems, SSS 2005, held in Barcelona, Spain, in October 2005. The 15 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address classical topics of self-stabilization, prevailing extensions to the field, such as snap-stabilization, code stabilization, self-stabilization with either dynamic, faulty or Byzantine components, or deal with applications of self-stabilization, either related to operating systems, security, or mobile and ad hoc networks.
9783540321231 3540321233 3540298142 9783540298144
9786611391522
978-3-540-29814-4 Springer http://www.springerlink.com
05,A50,0096 dnb
Self-stabilization (Computer science)--Congresses.
Autostabilisation (Informatique)--Congrès.
COMPUTERS--Software Development & Engineering--Quality Assurance & Testing.
Informatique.
Self-stabilization (Computer science)
Adaptives System
Selbsteinstellendes System
Stabilisierung
Verteilter Algorithmus
Verteiltes System
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Barcelona (2005)
Kongress.
QA76.9.S54 / S77 2005
005.14