↓ Skip to main content

Stabilization, Safety, and Security of Distributed Systems

Overview of attention for book
Cover of 'Stabilization, Safety, and Security of Distributed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence
  3. Altmetric Badge
    Chapter 2 Computing in Time-Varying Networks
  4. Altmetric Badge
    Chapter 3 The K -Observer Problem in Computer Networks
  5. Altmetric Badge
    Chapter 4 Stabilization, Safety, and Security of Distributed Systems
  6. Altmetric Badge
    Chapter 5 An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn
  7. Altmetric Badge
    Chapter 6 Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example
  8. Altmetric Badge
    Chapter 7 Building Self-stabilizing Overlay Networks with the Transitive Closure Framework
  9. Altmetric Badge
    Chapter 8 Active Stabilization
  10. Altmetric Badge
    Chapter 9 Robot Networks with Homonyms: The Case of Patterns Formation
  11. Altmetric Badge
    Chapter 10 A Non-topological Proof for the Impossibility of k -Set Agreement
  12. Altmetric Badge
    Chapter 11 Formal Verification of Consensus Algorithms Tolerating Malicious Faults
  13. Altmetric Badge
    Chapter 12 The Computational Power of Simple Protocols for Self-awareness on Graphs
  14. Altmetric Badge
    Chapter 13 Self-stabilizing Labeling and Ranking in Ordered Trees
  15. Altmetric Badge
    Chapter 14 Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation
  16. Altmetric Badge
    Chapter 15 The South Zone: Distributed Algorithms for Alliances
  17. Altmetric Badge
    Chapter 16 Social Market: Combining Explicit and Implicit Social Networks
  18. Altmetric Badge
    Chapter 17 TrumanBox : Improving Dynamic Malware Analysis by Emulating the Internet
  19. Altmetric Badge
    Chapter 18 Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs
  20. Altmetric Badge
    Chapter 19 Snake: Control Flow Distributed Software Transactional Memory
  21. Altmetric Badge
    Chapter 20 POLISH: Proactive Co-operative LInk Self-Healing for Wireless Sensor Networks
  22. Altmetric Badge
    Chapter 21 The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication
  23. Altmetric Badge
    Chapter 22 Price Stabilization in Networks — What Is an Appropriate Model ?
  24. Altmetric Badge
    Chapter 23 Dynamic Regular Registers in Systems with Churn
  25. Altmetric Badge
    Chapter 24 Space-Efficient Fault-Containment in Dynamic Networks
  26. Altmetric Badge
    Chapter 25 The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System
  27. Altmetric Badge
    Chapter 26 Relations Linking Failure Detectors Associated with k -Set Agreement in Message-Passing Systems
  28. Altmetric Badge
    Chapter 27 Corona: A Stabilizing Deterministic Message-Passing Skip List
  29. Altmetric Badge
    Chapter 28 Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks
  30. Altmetric Badge
    Chapter 29 Conflict-Free Replicated Data Types
  31. Altmetric Badge
    Chapter 30 Analysis of DSR Protocol in Event-B
  32. Altmetric Badge
    Chapter 31 Self-Stabilizing De Bruijn Networks
  33. Altmetric Badge
    Chapter 32 Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks
  34. Altmetric Badge
    Chapter 33 Brief Announcement: A Stabilizing Algorithm for Finding Two Edge-Disjoint Paths in Arbitrary Graphs
  35. Altmetric Badge
    Chapter 34 Brief Announcement: Towards Interoperability Standards and Services for Autonomic Systems
  36. Altmetric Badge
    Chapter 35 Brief Announcement: Distributed Self-organizing Event Space Partitioning for Content-Based Publish/Subscribe Systems
  37. Altmetric Badge
    Chapter 36 Brief Announcement: A Note on Replication of Documents
  38. Altmetric Badge
    Chapter 37 Brief Announcement: A Stable and Robust Membership Protocol
  39. Altmetric Badge
    Chapter 38 Brief Announcement: Sorting on Skip Chains
  40. Altmetric Badge
    Chapter 39 Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems
  41. Altmetric Badge
    Chapter 40 Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters
  42. Altmetric Badge
    Chapter 41 Brief Announcement: Faster Gossiping in Bidirectional Radio Networks with Large Labels
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
patent
3 patents
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Stabilization, Safety, and Security of Distributed Systems
Published by
Springer Berlin Heidelberg, October 2011
DOI 10.1007/978-3-642-24550-3
ISBNs
978-3-64-224549-7, 978-3-64-224550-3
Editors

Défago, Xavier, Petit, Franck, Villain, Vincent, Défago, Xavier, Petit, Franck, Villain, Vincent

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 100%
Readers by discipline Count As %
Computer Science 1 100%