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

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Aus der Reihe Theoretical Computer Science and General Issues

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.11.2019

Herausgeber

Mohsen Ghaffari + weitere

Verlag

Springer

Seitenzahl

384

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

1st ed. 2019

Sprache

Englisch

ISBN

978-3-030-34991-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.11.2019

Herausgeber

Verlag

Springer

Seitenzahl

384

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

1st ed. 2019

Sprache

Englisch

ISBN

978-3-030-34991-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • Produktbild: Stabilization, Safety, and Security of Distributed Systems
  • Invited Paper: On the Characterization of Blockchain Consensus under Incentives.- Brief announcement: Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots.- Stationary and Deterministic Leader Election in Self-Organizing Particle Systems.- Robust Privacy-Preserving Gossip Averaging.- Synchronous t-Resilient Consensus in Arbitrary Graphs.- Tasks in Modular Proofs of Concurrent Algorithms.- On Gathering of Semi-Synchronous Robots in Graphs.- Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction.- Brief Announcement: Distributed Computing in the Asynchronous LOCAL model.- An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms.- Brief Announcement: Self-Stabilizing LCM Schedulers for Autonomous Mobile Robots using Neighborhood Mutual Remainder.- Reducing the Number of Messages in Self-stabilizing Protocols.- A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory.- Exploration of dynamic ring networks by a single agent with the H-hops and S-time steps view.- iperfTZ: Understanding Network Bottlenecks for TrustZone-based Trusted Applications.- Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity.- Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems.- Improved-Zigzag: An improved local-information based self-optimizing routing algorithm in virtual grid networks.- Fault Tolerant Network Constructors.- Ring Exploration of Myopic Luminous Robots with Visibility More than One.- Brief Announcement: Self-Stabilizing Construction of a Minimal Weakly nmathcal{ST}-Reachable Directed Acyclic Graph.- Adaptive Versioning in Transactional Memories.- Brief Announcement: Blockguard: Adaptive Blockchain Security.- Brief Announcement: Fully Anonymous Shared Memory Algorithms.- A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus.- Logarithmic Expected-Time Leader Election in Population Protocol Model.- A Self-stabilizing 1-maximal Independent Set Algorithm.- Black hole search despite Byzantine agents.- Self-Adjusting Linear Networks.