Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Masuzawa, Toshimitsu (Επιμελητής έκδοσης), Tixeuil, Sébastien (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4838
• Θέματα: Computer science.; Computer communication systems.; Special purpose computers.; Computers.; Algorithms.; Artificial intelligence.; Management information systems.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Management of Computing and Information Systems.

Πίνακας περιεχομένων:

• 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 Sensor Networks
• 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.