Stabilization, Safety, and Security of Distributed Systems : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings / edited by Ajoy K. Datta, Maria Gradinariu.

Format:

Book

Contributor:

Datta, Ajoy K., 1958- editor.

Gradinariu, Maria, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4280.

Theoretical Computer Science and General Issues ; 4280

Language:

English

Subjects (All):

Artificial intelligence.

Computer networks.

Computers, Special purpose.

Computers.

Algorithms.

Management information systems.

Computer science.

Artificial Intelligence.

Computer Communication Networks.

Special Purpose and Application-Based Systems.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Local Subjects:

Artificial Intelligence.

Computer Communication Networks.

Special Purpose and Application-Based Systems.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Physical Description:

1 online resource (XVIII, 590 pages).

Edition:

First edition 2006.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.

System Details:

text file PDF

Summary:

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.

Contents:

Invited Talks

Stabilization Enabling Technology

A General Characterization of Indulgence

Regular Papers

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

A Case Study on Prototyping Power Management Protocols for Sensor Networks

Unconscious Eventual Consistency with Gossips

All k-Bounded Policies Are Equivalent for Self-stabilization

A 1-Strong Self-stabilizing Transformer

Optimal Message-Driven Implementation of Omega with Mute Processes

Incremental Synthesis of Fault-Tolerant Real-Time Programs

Toward a Time-Optimal Odd Phase Clock Unison in Trees

Recovery Oriented Programming

Evaluation of a Tracking Architecture in Wireless Sensor Networks

Self-protection for Distributed Component-Based Applications

From Self- to Snap- Stabilization

Self-stabilizing Philosophers with Generic Conflicts

Selfish Stabilization

Reliability and Availability Analysis of Self-stabilizing Systems

Circle Formation of Weak Mobile Robots

Self-stabilizing Device Drivers

Secure Communication for RFIDs Proactive Information Security Within Computational Security

Fault Masking in Tri-redundant Systems

Logarithmic Keying of Communication Networks

Safe Peer-to-Peer Self-downloading

Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks

Self-stabilizing Byzantine Digital Clock Synchronization

Distributed Edge Coloration for Bipartite Networks

A Dependable Intrusion Detection Architecture Based on Agreement Services

Stabilizing Health Monitoring for Wireless Sensor Networks

A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems

A Memory Efficient Self-stabilizing Algorithm for Maximal k-Packing

Bounding the Impact of Unbounded Attacks in Stabilization

On Bootstrapping Topology Knowledge in Anonymous Networks

Self-adaptive Disk Arrays

Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility

Self-stabilizing Asynchronous Phase Synchronization in General Graphs

Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework

Energy-Efficient and Non-interactive Self-certification in MANETs

Self-adaptive Worms and Countermeasures

Brief Announcement

Brief Announcement: Self-healing Algorithms for Reconfigurable Networks

Brief Announcement: Distributed Synthesis of Fault-Tolerance

Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks

Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET

Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures

Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems

Brief Announcement: Chasing the Weakest System Model for Implementing and Consensus

Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion

Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm

Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks

Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems

Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System.

Other Format:

Printed edition:

ISBN:

978-3-540-49823-0

9783540498230

Access Restriction:

Restricted for use by site license.