Vor Ort
Merkzettel Warenkorb
Produktbild: Stabilization, Safety, and Security of Distributed Systems
Band 6366

Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.09.2010

Abbildungen

XVI, 604 p.

Herausgeber

Shlomi Dolev + weitere

Verlag

Springer Berlin

Seitenzahl

604

Maße (B/H)

15,5/23,5 cm

Sprache

Englisch

ISBN

978-3-642-16022-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.09.2010

Abbildungen

XVI, 604 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

604

Maße (B/H)

15,5/23,5 cm

Sprache

Englisch

ISBN

978-3-642-16022-6

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 6221 3454301
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Stabilization, Safety, and Security of Distributed Systems
  • Invited Talks Abstracts.- Arcane Information, Solving Relations, and Church Censorship.- Computation of Equilibria and Stable Solutions.- A Geometry of Networks.- Contributed Papers.- Systematic Correct Construction of Self-stabilizing Systems: A Case Study.- A Fault-Resistant Asynchronous Clock Function.- Self-stabilizing Leader Election in Dynamic Networks.- Loop-Free Super-Stabilizing Spanning Tree Construction.- A New Technique for Proving Self-stabilizing under the Distributed Scheduler.- A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms.- On Byzantine Containment Properties of the min?+?1 Protocol.- Efficient Self-stabilizing Graph Searching in Tree Networks.- Adaptive Containment of Time-Bounded Byzantine Faults.- Brief Announcement: Fast Convergence in Route-Preservation.- Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure.- On Applicability of Random Graphs for Modeling Random Key Predistribution for Wireless Sensor Networks.- “Slow Is Fast” for Wireless Sensor Networks in the Presence of Message Losses.- Modeling and Analyzing Periodic Distributed Computations.- Complexity Issues in Automated Model Revision without Explicit Legitimate State.- Algorithmic Verification of Population Protocols.- Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks.- Stably Decidable Graph Languages by Mediated Population Protocols.- Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping.- Brief Announcement: Configuration of Actuated Camera Networks for Multi-target Coverage.- Brief Announcement: On the Hardness of Topology Inference.- Self-stabilizing Algorithm of Two-Hop Conflict Resolution.- Low Memory Distributed Protocols for 2-Coloring.-Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility.- Computing in Social Networks.- On Transactional Scheduling in Distributed Transactional Memory Systems.- Recursion in Distributed Computing.- On Adaptive Renaming under Eventually Limited Contention.- RobuSTM: A Robust Software Transactional Memory.- A Provably Starvation-Free Distributed Directory Protocol.- Lightweight Live Migration for High Availability Cluster Service.- Approximation of ?-Timeliness.- A Framework for Adaptive Optimization of Remote Synchronous CSCW in the Cloud Computing Era.- Chameleon-MAC: Adaptive and Self-? Algorithms for Media Access Control in Mobile Ad Hoc Networks.- A Comparative Study of Rateless Codes for P2P Persistent Storage.- Dynamically Reconfigurable Filtering Architectures.- A Quantitative Analysis of Redundancy Schemes for Peer-to-Peer Storage Systems.- A Framework for Secure and Private P2P Publish/Subscribe.- Snap-Stabilizing Linear Message Forwarding.- Vulnerability Analysis of High Dimensional Complex Systems.- Storage Capacity of Labeled Graphs.- Safe Flocking in Spite of Actuator Faults.