1 option
Stabilization, Safety, and Security of Distributed Systems : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / edited by Toshimitsu Masuzawa, Sébastien Tixeuil.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4838.
- Theoretical Computer Science and General Issues ; 4838
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Computer networks.
- Computers, Special purpose.
- Computers.
- Algorithms.
- Management information systems.
- Computer science.
- Artificial Intelligence.
- Computer Communication Networks.
- Special Purpose and Application-Based Systems.
- Computation by Abstract Devices.
- Algorithm Analysis and Problem Complexity.
- Management of Computing and Information Systems.
- Local Subjects:
- Artificial Intelligence.
- Computer Communication Networks.
- Special Purpose and Application-Based Systems.
- Computation by Abstract Devices.
- Algorithm Analysis and Problem Complexity.
- Management of Computing and Information Systems.
- Physical Description:
- 1 online resource (XIII, 414 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-76627-8
- 9783540766278
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.