Muutke küpsiste eelistusi

E-raamat: Stabilization, Safety, and Security of Distributed Systems: 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - EPUB+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018.

The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical and practical aspects of stabilizing systems; distributed networks and concurrency; and safety in malicious environments.

 

A Self-stabilizing Hashed Patricia Trie
1(15)
Till Knollmann
Christian Scheideler
Self-stabilizing Overlays for High-Dimensional Monotonic Searchability
16(16)
Michael Feldmann
Christina Kolb
Christian Scheideler
An Adaptive Logging Framework for Persistent Memories
32(18)
Pavan Poudel
Gokarna Sharma
On Underlay-Aware Self-Stabilizing Overlay Networks
50(15)
Thorsten Gotte
Christian Scheideler
Alexander Setzer
A O(log n) Distributed Algorithm to Construct Routing Structures for Pub/Sub Systems: Regular Submission
65(15)
Volker Turau
Self-stabilization and Byzantine Tolerance for Maximal Matching
80(16)
Stephan Kunne
Johanne Cohen
Laurence Pilard
Exploration of Finite 2D Square Grid by a Metamorphic Robotic System
96(15)
Keisuke Doi
Yukiko Yamauchi
Shuji Kijima
Masafumi Yamashita
Physical Zero-Knowledge Proof for Makaro
111(15)
Xavier Bultel
Jannik Dreier
Jean-Guillaume Dumas
Pascal Lafourcade
Daiki Miyahara
Takaaki Mizuki
Atsuki Nagao
Tatsuya Sasaki
Kazumasa Shinagawa
Hideaki Sone
Searching with Increasing Speeds
126(13)
Leszek Gasieniec
Shuji Kijima
Jie Min
Bee's Strategy Against Byzantines Replacing Byzantine Participants (Extended Abstract)
139(15)
Amitay Shaer
Shlomi Dolev
Silvia Bonomi
Michel Raynal
Roberto Baldoni
Simple and Fast Approximate Counting and Leader Election in Populations
154(16)
Othon Michail
Paul G. Spirakis
Michail Theofilatos
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures
170(16)
Silvia Bonomi
Giovanni Farina
Sebastien Tixeuil
Acyclic Strategy for Silent Self-stabilization in Spanning Forests
186(17)
Karine Altisen
Stephane Devismes
Anais Durand
On Fast Pattern Formation by Autonomous Robots
203(18)
Ramachandran Vaidyanathan
Gokarna Sharma
Jerry L. Trahan
Load Balanced Distributed Directories
221(18)
Shishir Rai
Gokarna Sharma
Costas Busch
Maurice Herlihy
Relays: A New Approach for the Finite Departure Problem in Overlay Networks
239(15)
Christian Scheideler
Alexander Setzer
Clairvoyant State Machine Replications
254(15)
Rida Bazzi
Maurice Herlihy
Set Agreement and Renaming in the Presence of Contention-Related Crash Failures
269(15)
Anais Durand
Michel Raynal
Gadi Taubenfeld
An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems
284(17)
Chirag Juyal
Sandeep Kulkarni
Sweta Kumari
Sathya Peri
Archit Somani
Ring Exploration with Myopic Luminous Robots
301(16)
Fukuhito Ooshita
Sebastien Tixeuil
Uniform Circle Formation for Swarms of Opaque Robots with Lights
317(16)
Caterina Feletti
Carlo Mereghetti
Beatrice Palano
Arbitrary Pattern Formation with Four Robots
333(16)
Quentin Bramas
Sebastien Tixeuil
Gracefully Degrading Gathering in Dynamic Rings
349(16)
Marjorie Bournat
Swan Dubois
Franck Petit
Concurrent Lock-Free Unbounded Priority Queue with Mutable Priorities
365(16)
Ivan Walulya
Bapi Chatterjee
Ajoy K. Datta
Rashmi Niyolia
Philippas Tsigas
Brief Announcement: Deterministic Leader Election in Self-organizing Particle Systems
381(6)
Rida A. Bazzi
Joseph L. Briones
Brief Announcement: Time Efficient Self-stabilizing Stable Marriage
387(6)
Joffroy Beauquier
Thibault Bernard
Janna Burman
Shay Kutten
Marie Laveau
Brief Announcement: Feasibility of Weak Gathering in Connected-over-Time Dynamic Rings
393(5)
Fukuhito Ooshita
Ajoy K. Datta
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps
398(6)
Silvia Bonomi
Antonella Del Pozzo
Maria Potop-Butucaru
Sebastien Tixeuil
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
404(5)
Thibaut Balabonski
Pierre Courtieu
Robin Pelle
Lionel Rieg
Sebastien Tixeuil
Xavier Urbain
Author Index 409