Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / edited by Rachid Guerraoui, Franck Petit.

This book constitutes the refereed proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009, held in Lyon, France, in November 2009. The 49 revised full papers and 14 brief announcements presented together with three invited talks were c...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Guerraoui, Rachid (Editor), Petit, Franck (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:	1st ed. 2009.
Series:	Theoretical Computer Science and General Issues ; 5873 Springer eBook Collection.
Subjects:	Computer communication systems. User interfaces (Computer systems). Special purpose computers. Computers. Algorithms. Computer security. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Invited Talks
Challenges in Personalizing and Decentralizing the Web: An Overview of GOSSPLE
Local Algorithms: Self-stabilization on Speed
As Good as It Gets: Competitive Fault Tolerance in Network Structures
Regular Papers
Multicore Constraint-Based Automated Stabilization
A Theory of Network Tracing
Developing Autonomic and Secure Virtual Organisations with Chemical Programming
Making Population Protocols Self-stabilizing
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
Consensus When All Processes May Be Byzantine for Some Time
A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees
Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is the End of the Road?
Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks
FoG: Fighting the Achilles’ Heel of Gossip Protocols with Fountain Codes
How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?
Fault-Containment in Weakly-Stabilizing Systems
Stability of Distributed Algorithms in the Face of Incessant Faults
Dependability Engineering of Silent Self-stabilizing Systems
Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective
Efficient Robust Storage Using Secret Tokens
An Optimal Self-stabilizing Firing Squad
Anonymous Transactions in Computer Networks
Nash Equilibria in Stabilizing Systems
ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation
A Self-stabilizing Approximation Algorithm for Vertex Cover in Anonymous Networks
Separation of Circulating Tokens
Visiting Gafni’s Reduction Land: From the BG Simulation to the Extended BG Simulation
Randomized Gathering of Mobile Robots with Local-Multiplicity Detection
Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat
CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks
Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links
Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler
Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision
Finding Good Partners in Availability-Aware P2P Networks
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables
Distributed Power Control with Multiple Agents in a Distributed Base Station Scheme Using Macrodiversity
Redundancy Maintenance and Garbage Collection Strategies in Peer-to-Peer Storage Systems
Model Checking Coalition Nash Equilibria in MAD Distributed Systems
OpenMP Support for NBTI-Induced Aging Tolerance in MPSoCs
A Self-stabilizing Algorithm for Graph Searching in Trees
A Metastability-Free Multi-synchronous Communication Scheme for SoCs
From Local Impact Functions to Global Adaptation of Service Compositions
A Wireless Security Framework without Shared Secrets
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks
Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning
Network-Friendly Gossiping
Black Hole Search with Tokens in Interconnected Networks
Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model
Speculation for Parallelizing Runtime Checks
Optimistic Fair Exchange Using Trusted Devices
Application Data Consistency Checking for Anomaly Based Intrusion Detection
Self Adaptive High Interaction Honeypots Driven by Game Theory
Cooperative Autonomic Management in Dynamic Distributed Systems
Brief Announcements
Brief Announcement: Consistent Fixed Points and Negative Gain
Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems
Safer Than Safe: On the Initial State of Self-stabilizing Systems
Brief Announcement: Unique Permutation Hashing
Randomization Adaptive Self-stabilization
Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization
Brief Announcement: An OS Architecture for Device Self-protection
Brief Announcement: Towards Secure Cloud Computing
Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters
Brief Announcement: A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks
Relocation Analysis of Stabilizing MAC
Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model
Brief Announcement: How to Overcome the Limits of Bounds
Brief Announcement: The Design and Evaluation of a Distributed Reliable File System.

Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / edited by Rachid Guerraoui, Franck Petit.

Similar Items