Self stabilizing systems : 7th international symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 : proceedings / Ted Herman, Sébastien Tixeuil.
Material type:
TextSeries: Lecture notes in computer science ; 3764.Publication details: New York, NY : Springer, 2005.Description: 1 online resource (x, 228 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783540321231
- 3540321233
- 3540298142
- 9783540298144
- 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
- 005.14 22
- QA76.9.S54 S77 2005
- 54.54
- SS 4800
- 004
- DAT 416f
- DAT 250f
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references and index.
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.
Print version record.
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.