Buch, Englisch, 414 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 658 g
9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
Buch, Englisch, 414 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 658 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-540-76626-1
Verlag: Springer
This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of three invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programming.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
Weitere Infos & Material
The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults?.- Role-Based Self-configuration of Sensor Networks.- Robots and Molecules.- Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency.- Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.- Decentralized Detector Generation in Cooperative Intrusion Detection Systems.- Stabilizing Flocking Via Leader Election in Robot Networks.- Stabilization in Dynamic Systems with Varying Equilibrium.- Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems.- Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance.- On the Performance of Dijkstra’s Third Self-stabilizing Algorithm for Mutual Exclusion.- Stability of the Multiple-Access Channel Under Maximum Broadcast Loads.- Stabilization of Flood Sequencing Protocols in Sensor Networks.- Stabilization of Loop-Free Redundant Routing.- Secure Failure Detection in TrustedPals.- Probabilistic Fault-Containment.- Self* Minimum Connected Covers of Query Regions in Sensor Networks.- Robust Stabilizing Leader Election.- Byzantine Self-stabilizing Pulse in a Bounded-Delay Model.- Magnifying Computing Gaps Establishing Encrypted Communication over Unidirectional Channels (Extended Abstract).- Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract).- r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks.- Global Predicate Detection in Distributed Systems with Small Faults.- The Truth System: Can a System of Lying Processes Stabilize?.- Temporal Partition in Sensor Networks.- Secure and Self-stabilizing Clock Synchronization in SensorNetworks.- On the Probabilistic Omission Adversary.- Upper Bounds for Stabilization in Acyclic Preference-Based Systems.- A Self-stabilizing Weighted Matching Algorithm.- Self-stabilization and Virtual Node Layer Emulations.
