| Description |
1 online resource (xiv, 452 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 6976 |
|
Lecture notes in computer science ; 6976.
|
| Contents |
Machine generated contents note: Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence / Toshimitsu Masuzawa -- Computing in Time-Varying Networks / Nicola Santoro -- K-Observer Problem in Computer Networks / Mohamed G. Gouda -- Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems / Sebastien Tixeuil -- Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn / Amir Soltani Nezhad -- Computing Time Complexity of Population Protocols with Cover Times -- The ZebraNet Example / Sylvie Delaet -- Building Self-stabilizing Overlay Networks with the Transitive Closure Framework / Sriram V. Pemmaraju -- Active Stabilization / Sandeep S. Kulkarni -- Robot Networks with Homonyms: The Case of Patterns Formation / Anissa Lamani -- Non-topological Proof for the Impossibility of k-Set Agreement / Armando Castaneda -- ̂ Formal Verification of Consensus Algorithms Tolerating Malicious Faults / Stephan Merz -- Computational Power of Simple Protocols for Self-awareness on Graphs / Paul G. Spirakis -- Self-stabilizing Labeling and Ranking in Ordered Trees / Yvan Rivierre -- Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation [Extended Abstract] / Ulrich Schmid -- South Zone: Distributed Algorithms for Alliances / J.L. Szwarcfiter -- Social Market: Combining Explicit and Implicit Social Networks / Anne-Marie Kermarrec -- TrumanBox: Improving Dynamic Malware Analysis by Emulating the Internet / Thorsten Holz -- Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs / Shlomi Dolev -- Snake: Control Flow Distributed Software Transactional Memory / Binoy Ravindran -- Polish: Proactive Co-operative Link Self-Healing for Wireless Sensor Networks / Kazumasa Omote -- ̂ Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication / Michel Raynal |
|
Note continued: Price Stabilization in Networks -- What Is an Appropriate Model? / Kensaku Kikuta -- Dynamic Regular Registers in Systems with Churn / Jennifer L. Welch -- Space-Efficient Fault-Containment in Dynamic Networks / Volker Turau -- OCRC Fuel Cell Lab Safety System: A Self-stabilizing Safety-Critical System / Daniel Faria -- Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems / Julien Stainer -- Corona: A Stabilizing Deterministic Message-Passing Skip List / Christian Scheideler -- Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks / Anish Arora -- Conflict-Free Replicated Data Types / Marek Zawirski -- Analysis of DSR Protocol in Event-B / Neeraj Kumar Singh -- Self-stabilizing De Bruijn Networks / Phillip Stevens -- Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks / Mohamed G. Gouda -- Brief Announcement: A Stabilizing Algorithm for Finding Two Edge-Disjoint Paths in Arbitrary Graphs / Mehmet Hakan Karaata -- Brief Announcement: Towards Interoperability Standards and Services for Autonomic Systems / Haffiz Suahib -- Brief Announcement: Distributed Self-organizing Event Space Partitioning for Content-Based Publish/Subscribe Systems / Leonardo Querzoni -- Brief Announcement: A Note on Replication of Documents / Karol Marchwicki -- Brief Announcement: A Stable and Robust Membership Protocol / E. Le Merrer -- Brief Announcement: Sorting on Skip Chains / Lawrence L. Larmore -- Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems / Toshimitsu Masuzawa -- Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters / Thomas Fuhrmann -- Brief Announcement: Faster Gossiping in Bidirectional Radio Networks with Large Labels / Shailesh Vaya |
| Summary |
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 |
| Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Data protection |
|
Computer software |
|
Information Systems |
|
Special Purpose and Application-Based Systems |
|
Computation by Abstract Devices |
|
Algorithm Analysis and Problem Complexity |
|
Systems and Data Security |
|
Management of Computing and Information Systems |
| Bibliography |
Includes bibliographical references and index |
| Subject |
Self-stabilization (Computer science) -- Congresses
|
|
Electronic data processing -- Distributed processing -- Safety measures -- Congresses
|
|
Computer security -- Congresses
|
|
Informatique.
|
|
Computer security
|
|
Self-stabilization (Computer science)
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Défago, Xavier
|
|
Petit, Franck
|
|
Villain, Vincent
|
| ISBN |
9783642245503 |
|
3642245501 |
|
9783642245497 |
|
3642245498 |
|
