Skip to main content

Über dieses Buch

This book constitutes the proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, held in Grenoble, France, in October 2011. The 29 papers presented were carefully reviewed and selected from 79 submissions. They cover the following areas: ad-hoc, sensor, and peer-to-peer networks; safety and verification; security; self-organizing and autonomic systems; and self-stabilization.



2011 | OriginalPaper | Buchkapitel

Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence

Toshimitsu Masuzawa

2011 | OriginalPaper | Buchkapitel

Computing in Time-Varying Networks

Nicola Santoro

2011 | OriginalPaper | Buchkapitel

The K-Observer Problem in Computer Networks

H. B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda

2011 | OriginalPaper | Buchkapitel

Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems

Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil

2011 | OriginalPaper | Buchkapitel

An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn

Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad

2011 | OriginalPaper | Buchkapitel

Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example

Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët

2011 | OriginalPaper | Buchkapitel

Building Self-stabilizing Overlay Networks with the Transitive Closure Framework

Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju

2011 | OriginalPaper | Buchkapitel

Active Stabilization

Borzoo Bonakdarpour, Sandeep S. Kulkarni

2011 | OriginalPaper | Buchkapitel

Robot Networks with Homonyms: The Case of Patterns Formation

Zohir Bouzid, Anissa Lamani

2011 | OriginalPaper | Buchkapitel

A Non-topological Proof for the Impossibility of k-Set Agreement

Hagit Attiya, Armando Castañeda

2011 | OriginalPaper | Buchkapitel

Formal Verification of Consensus Algorithms Tolerating Malicious Faults

Bernadette Charron-Bost, Henri Debrat, Stephan Merz

2011 | OriginalPaper | Buchkapitel

The Computational Power of Simple Protocols for Self-awareness on Graphs

Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Paul G. Spirakis

2011 | OriginalPaper | Buchkapitel

Self-stabilizing Labeling and Ranking in Ordered Trees

Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre

2011 | OriginalPaper | Buchkapitel

Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation

[Extended Abstract]
Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid

2011 | OriginalPaper | Buchkapitel

The South Zone: Distributed Algorithms for Alliances

M. C. Dourado, L. D. Penso, D. Rautenbach, J. L. Szwarcfiter

2011 | OriginalPaper | Buchkapitel

Social Market: Combining Explicit and Implicit Social Networks

Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec

2011 | OriginalPaper | Buchkapitel

TrumanBox: Improving Dynamic Malware Analysis by Emulating the Internet

Christian Gorecki, Felix C. Freiling, Marc Kührer, Thorsten Holz

2011 | OriginalPaper | Buchkapitel

Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs

Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, Shlomi Dolev

2011 | OriginalPaper | Buchkapitel

Snake: Control Flow Distributed Software Transactional Memory

Mohamed M. Saad, Binoy Ravindran

2011 | OriginalPaper | Buchkapitel

POLISH: Proactive Co-operative LInk Self-Healing for Wireless Sensor Networks

Tatsuro Iida, Atsuko Miyaji, Kazumasa Omote

2011 | OriginalPaper | Buchkapitel

The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication

Damien Imbs, Michel Raynal

2011 | OriginalPaper | Buchkapitel

Price Stabilization in Networks — What Is an Appropriate Model ?

Jun Kiniwa, Kensaku Kikuta

2011 | OriginalPaper | Buchkapitel

Dynamic Regular Registers in Systems with Churn

Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch

2011 | OriginalPaper | Buchkapitel

Space-Efficient Fault-Containment in Dynamic Networks

Sven Köhler, Volker Turau

2011 | OriginalPaper | Buchkapitel

The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System

William Leal, Micah McCreery, Daniel Faria

2011 | OriginalPaper | Buchkapitel

Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems

Achour Mostéfaoui, Michel Raynal, Julien Stainer

2011 | OriginalPaper | Buchkapitel

Corona: A Stabilizing Deterministic Message-Passing Skip List

Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler

2011 | OriginalPaper | Buchkapitel

Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks

Ingy Ramzy, Anish Arora

2011 | OriginalPaper | Buchkapitel

Conflict-Free Replicated Data Types

Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski

2011 | OriginalPaper | Buchkapitel

Analysis of DSR Protocol in Event-B

Dominique Méry, Neeraj Kumar Singh

2011 | OriginalPaper | Buchkapitel

Self-Stabilizing De Bruijn Networks

Andréa Richa, Christian Scheideler, Phillip Stevens

2011 | OriginalPaper | Buchkapitel

Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks

H. B. Acharya, Anil K. Katti, Mohamed G. Gouda

2011 | OriginalPaper | Buchkapitel

Brief Announcement: A Stabilizing Algorithm for Finding Two Edge-Disjoint Paths in Arbitrary Graphs

Fawaz M. Al-Azemi, Mehmet Hakan Karaata

2011 | OriginalPaper | Buchkapitel

Brief Announcement: Towards Interoperability Standards and Services for Autonomic Systems

Richard Anthony, Mariusz Pelc, Haffiz Suahib

2011 | OriginalPaper | Buchkapitel

Brief Announcement: Distributed Self-organizing Event Space Partitioning for Content-Based Publish/Subscribe Systems

Roberto Beraldi, Adriano Cerocchi, Fabio Papale, Leonardo Querzoni

2011 | OriginalPaper | Buchkapitel

Brief Announcement: A Note on Replication of Documents

Jacek Cichoń, Rafał Kapelko, Karol Marchwicki

2011 | OriginalPaper | Buchkapitel

Brief Announcement: A Stable and Robust Membership Protocol

Ajoy K. Datta, A. -M. Kermarrec, Lawrence L. Larmore, E. Le Merrer

2011 | OriginalPaper | Buchkapitel

Brief Announcement: Sorting on Skip Chains

Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore

2011 | OriginalPaper | Buchkapitel

Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems

Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa

2011 | OriginalPaper | Buchkapitel

Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters

Björn Saballus, Stephan-Alexander Posselt, Thomas Fuhrmann

2011 | OriginalPaper | Buchkapitel

Brief Announcement: Faster Gossiping in Bidirectional Radio Networks with Large Labels

Shailesh Vaya


Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.



Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!