Skip to main content
SpringerLink
Log in
Book cover

Stabilization, Safety, and Security of Distributed Systems

8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Ajoy K. Datta

    1. School of Computer Science, University of Nevada Las Vegas,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Maria Gradinariu

    1. LIP6, INRIA-Université Paris 6, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4280)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SSS 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (50 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Stabilization Enabling Technology

      • Shlomi Dolev, Yinnon Haviv
      Pages 1-15

    2. A General Characterization of Indulgence

      • R. Guerraoui, N. Lynch
      Pages 16-34

  3. Regular Papers

    1. Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks

      • Habib M. Ammari, Sajal K. Das
      Pages 35-49

    2. A Case Study on Prototyping Power Management Protocols for Sensor Networks

      • Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni
      Pages 50-64

    3. Unconscious Eventual Consistency with Gossips

      • Roberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni
      Pages 65-81

    4. All k-Bounded Policies Are Equivalent for Self-stabilization

      • Joffroy Beauquier, Colette Johnen, Stéphane Messika
      Pages 82-94

    5. A 1-Strong Self-stabilizing Transformer

      • Joffroy Beauquier, Sylvie Delaët, Sammy Haddad
      Pages 95-109

    6. Optimal Message-Driven Implementation of Omega with Mute Processes

      • Martin Biely, Josef Widder
      Pages 110-121

    7. Incremental Synthesis of Fault-Tolerant Real-Time Programs

      • Borzoo Bonakdarpour, Sandeep S. Kulkarni
      Pages 122-136

    8. Toward a Time-Optimal Odd Phase Clock Unison in Trees

      • Christian Boulinier, Franck Petit, Vincent Villain
      Pages 137-151

    9. Recovery Oriented Programming

      • Olga Brukman, Shlomi Dolev
      Pages 152-168

    10. Evaluation of a Tracking Architecture in Wireless Sensor Networks

      • Florent Claerhout
      Pages 169-183

    11. Self-protection for Distributed Component-Based Applications

      • Benoit Claudel, Noël De Palma, Renaud Lachaize, Daniel Hagimont
      Pages 184-198

    12. From Self- to Snap- Stabilization

      • Alain Cournier, Stéphane Devismes, Vincent Villain
      Pages 199-213

    13. Self-stabilizing Philosophers with Generic Conflicts

      • Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil
      Pages 214-230

    14. Selfish Stabilization

      • Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil
      Pages 231-243

    15. Reliability and Availability Analysis of Self-stabilizing Systems

      • Abhishek Dhama, Oliver Theel, Timo Warns
      Pages 244-261

    16. Circle Formation of Weak Mobile Robots

      • Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit
      Pages 262-275

    17. Self-stabilizing Device Drivers

      • Shlomi Dolev, Reuven Yagel
      Pages 276-289
Back to top

Other volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Keywords

About this book

This symposium has been the main forum for presentation of research results in the area of self-* for 17 years. It started as The Workshop on Self-Stabilizing Systems (WSS), and met in 1989 in Austin, 1995 in Las Vegas, 1997 in Santa Barbara, 1999 in Austin, and 2001 in Lisbon. It was then renamed The S- posium on Self-Stabilizing Systems (SSS), and has since met in 2003 in San Francisco, and in 2005 in Barcelona, Spain. This year,we extended the scope of the symposium to cover all safety and - curity related aspects of self-* systems. The title of the symposium was changed to the International Symposium on Stabilization, Safety, and Security of D- tributed Systems (SSS) to re?ect this expansion. The decision by Mohamed Gouda, the General Chair, to expand the scope of the symposium was timely and successful. From 33 papers submitted for SSS 2005, the number of submissions increased to 155. Reviewing this surge of s- missions to select the ?nal set of papers for the symposium was a monumental taskfor the ProgramCommittee. The 61 ProgramCommittee membersdevoted countless hours reading and evaluating the papers. But even this e?ort was not enough; we recruited 143 external reviewers, whose work was also very subst- tial.

Editors and Affiliations

  • School of Computer Science, University of Nevada Las Vegas,  

    Ajoy K. Datta

  • LIP6, INRIA-Université Paris 6, France

    Maria Gradinariu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation