↓ 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 Stabilization Enabling Technology
  3. Altmetric Badge
    Chapter 2 A General Characterization of Indulgence
  4. Altmetric Badge
    Chapter 3 Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks
  5. Altmetric Badge
    Chapter 4 A Case Study on Prototyping Power Management Protocols for Sensor Networks
  6. Altmetric Badge
    Chapter 5 Unconscious Eventual Consistency with Gossips
  7. Altmetric Badge
    Chapter 6 All k -Bounded Policies Are Equivalent for Self-stabilization
  8. Altmetric Badge
    Chapter 7 A 1-Strong Self-stabilizing Transformer
  9. Altmetric Badge
    Chapter 8 Optimal Message-Driven Implementation of Omega with Mute Processes
  10. Altmetric Badge
    Chapter 9 Incremental Synthesis of Fault-Tolerant Real-Time Programs
  11. Altmetric Badge
    Chapter 10 Toward a Time-Optimal Odd Phase Clock Unison in Trees
  12. Altmetric Badge
    Chapter 11 Recovery Oriented Programming
  13. Altmetric Badge
    Chapter 12 Evaluation of a Tracking Architecture in Wireless Sensor Networks
  14. Altmetric Badge
    Chapter 13 Self-protection for Distributed Component-Based Applications
  15. Altmetric Badge
    Chapter 14 From Self- to Snap- Stabilization
  16. Altmetric Badge
    Chapter 15 Self-stabilizing Philosophers with Generic Conflicts
  17. Altmetric Badge
    Chapter 16 Selfish Stabilization
  18. Altmetric Badge
    Chapter 17 Reliability and Availability Analysis of Self-stabilizing Systems
  19. Altmetric Badge
    Chapter 18 Circle Formation of Weak Mobile Robots
  20. Altmetric Badge
    Chapter 19 Self-stabilizing Device Drivers
  21. Altmetric Badge
    Chapter 20 Secure Communication for RFIDs Proactive Information Security Within Computational Security
  22. Altmetric Badge
    Chapter 21 Fault Masking in Tri-redundant Systems
  23. Altmetric Badge
    Chapter 22 Logarithmic Keying of Communication Networks
  24. Altmetric Badge
    Chapter 23 Safe Peer-to-Peer Self-downloading
  25. Altmetric Badge
    Chapter 24 Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks
  26. Altmetric Badge
    Chapter 25 Self-stabilizing Byzantine Digital Clock Synchronization
  27. Altmetric Badge
    Chapter 26 Distributed Edge Coloration for Bipartite Networks
  28. Altmetric Badge
    Chapter 27 A Dependable Intrusion Detection Architecture Based on Agreement Services
  29. Altmetric Badge
    Chapter 28 Stabilizing Health Monitoring for Wireless Sensor Networks
  30. Altmetric Badge
    Chapter 29 A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems
  31. Altmetric Badge
    Chapter 30 A Memory Efficient Self-stabilizing Algorithm for Maximal k -Packing
  32. Altmetric Badge
    Chapter 31 Bounding the Impact of Unbounded Attacks in Stabilization
  33. Altmetric Badge
    Chapter 32 On Bootstrapping Topology Knowledge in Anonymous Networks
  34. Altmetric Badge
    Chapter 33 Self-adaptive Disk Arrays
  35. Altmetric Badge
    Chapter 34 Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility
  36. Altmetric Badge
    Chapter 35 Self-stabilizing Asynchronous Phase Synchronization in General Graphs
  37. Altmetric Badge
    Chapter 36 Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework
  38. Altmetric Badge
    Chapter 37 Energy-Efficient and Non-interactive Self-certification in MANETs
  39. Altmetric Badge
    Chapter 38 Self-adaptive Worms and Countermeasures
  40. Altmetric Badge
    Chapter 39 Brief Announcement: Self-healing Algorithms for Reconfigurable Networks
  41. Altmetric Badge
    Chapter 40 Brief Announcement: Distributed Synthesis of Fault-Tolerance
  42. Altmetric Badge
    Chapter 41 Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks
  43. Altmetric Badge
    Chapter 42 Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET
  44. Altmetric Badge
    Chapter 43 Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures
  45. Altmetric Badge
    Chapter 44 Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems
  46. Altmetric Badge
    Chapter 45 Brief Announcement: Chasing the Weakest System Model for Implementing $\it \Omega$ and Consensus
  47. Altmetric Badge
    Chapter 46 Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion
  48. Altmetric Badge
    Chapter 47 Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm
  49. Altmetric Badge
    Chapter 48 Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks
  50. Altmetric Badge
    Chapter 49 Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems
  51. Altmetric Badge
    Chapter 50 Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 tweeter

Citations

dimensions_citation
3 Dimensions
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, June 2007
DOI 10.1007/978-3-540-49823-0
ISBNs
978-3-54-049018-0, 978-3-54-049823-0
Editors

Datta, Ajoy K., Gradinariu, Maria

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.