Atjaunināt sīkdatņu piekrišanu

E-grāmata: Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 8756
  • Izdošanas datums: 23-Sep-2014
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783319117645
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 8756
  • Izdošanas datums: 23-Sep-2014
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783319117645

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in September/October 2014. The 21 regular papers and 8 short papers presented were carefully reviewed and selected from 44 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization; ad-hoc; sensor and mobile networks; cyberphysical systems; fault-tolerant and dependable systems; formal methods; safety and security; and cloud computing; P2P; self-organizing; and autonomous systems.
Separating Data and Control: Asynchronous BFT Storage with 2t + 1 Data Replicas
1(17)
Christian Cachin
Dan Dobre
Marko Vukolic
On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms
18(15)
Lelia Blin
Pierre Fraigniaud
Boaz Patt-Shamir
On the Resilience of Pull-Based P2P Streaming Systems against DoS Attacks
33(15)
Giang Nguyen
Mathias Fischer
Thorsten Strufe
On Stabilizing Departures in Overlay Networks
48(15)
Dianne Foreback
Andreas Koutsopoulos
Mikhail Nesterenko
Christian Scheideler
Thim Strothmann
CloudSylla: Detecting Suspicious System Calls in the Cloud
63(15)
Marc Kuhrer
Johannes Hoffmann
Thorsten Holz
Postman: An Elastic Highly Resilient Publish/Subscribe Framework for Self Sustained Service Independent P2P Networks
78(15)
Gil Einziger
Boy Friedman
A Self-stabilizing Algorithm for Edge Monitoring Problem
93(13)
Brahim Neggazi
Mohammed Haddad
Volker Turau
Hamamache Kheddouci
Self-stabilizing Leader Election in Polynomial Steps
106(14)
Karine Altisen
Alain Cournier
Stephane Devismes
Anais Durand
Franck Petit
Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks
120(15)
Glacet Christian
Hanusse Nicolas
Ilcinkas David
Johnen Colette
Self-synchronized Cooperative Beamforming in Ad-Hoc Networks
135(15)
Thomas Janson
Christian Schindelhauer
Robots with Lights: Overcoming Obstructed Visibility without Colliding
150(15)
Giuseppe Antonio Di Luna
Paola Flocchini
Sruti Gan Chaudhuri
Nicola Santoro
Giovanni Viglietta
SMT-Based Synthesis of Distributed Self-stabilizing Systems
165(15)
Fathiyeh Faghih
Borzoo Bonakdarpour
Stateless Stabilization Bootstrap (Extended Abstract)
180(15)
Shlomi Dolev
Ramzi Martin Kahil
Reuven Yagel
Self-healing Computation
195(16)
George Saad
Jared Saia
Optimal Gathering on Infinite Grids
211(15)
Gabriele Di Stefano
Alfredo Navarra
Incremental Verification of Computing Policies
226(11)
Ehab S. Elmallah
Hrishikesh B. Acharya
Mohamed G. Gouda
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering
237(15)
Laure Millet
Maria Potop-Butucaru
Nathalie Sznajder
Sebastien Tixeuil
Synthesizing Self-stabilization through Superposition and Backtracking
252(16)
Alex Klinkhamer
Ali Ebnenasir
Configuration Hopping: A Secure Communication Protocol without Explicit Key Exchange
268(15)
Yue Qiao
Kannan Srinivasan
Anish Arora
Dependable Decentralized Cooperation with the Help of Reliability Estimation
283(16)
Seda Davtyan
Kishori M. Konwar
Alexander A. Shvartsman
Snap-Stabilizing PIF on Non-oriented Trees and Message Passing Model
299(15)
Florence Leve
Khaled Mohamed
Vincent Villain
Edge Coloring Despite Transient and Permanent Faults
314(14)
Alexandre Maurer
Toshimitsu Masuzawa
Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks
328(15)
Hung Tran-The
Luis Rodrigues
Brief Announcement: Publish/Subscribe on Virtual Rings
343(3)
Gerry Siegemund
Khaled Maamra
Volker Turau
Brief Announcement: Sweep Coverage with Mobile and Static Sensors
346(3)
Barun Gorain
Partha Sarathi Mandai
Brief Announcement: Designing Dining-Philosophers to Optimize Experimental Performance
349(3)
Jordan Adamek
Mikhail Nesterenko
Sebastien Tixeuil
Brief Announcement: Introducing Recurrence in Self-Stabilization
352(3)
Oday Jubran
Oliver Theel
Brief Announcement: Tamper-Evident Stabilization
355(4)
Reza Hajisheykhi
Ali Ebnenasir
Sandeep S. Kulkarni
Brief Announcement: A Stabilizing Algorithm for Finding Two Node-Disjoint Paths
359(3)
Hadid Rachid
Mehmet Hakan Karaata
Vincent Villain
Brief Announcement: Region-Adherent Algorithms - Bounding the Impact of Faults in Space
362(4)
Jan Steffen Becker
Dilshod Rahmatov
Oliver Theel
Brief Announcement: Entropy Adaptive On-Line Compression
366(3)
Shlomi Dolev
Sergey Frenkel
Marina Kopeetsky
Author Index 369