Atnaujinkite slapukų nuostatas

Stabilization, Safety, and Security of Distributed Systems: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings 1st ed. 2015 [Minkštas viršelis]

  • Formatas: Paperback / softback, 288 pages, aukštis x plotis: 235x155 mm, weight: 4745 g, 47 Illustrations, black and white; XXI, 288 p. 47 illus., 1 Paperback / softback
  • Serija: Theoretical Computer Science and General Issues 9212
  • Išleidimo metai: 21-Jul-2015
  • Leidėjas: Springer International Publishing AG
  • ISBN-10: 3319217402
  • ISBN-13: 9783319217406
Kitos knygos pagal šią temą:
  • Formatas: Paperback / softback, 288 pages, aukštis x plotis: 235x155 mm, weight: 4745 g, 47 Illustrations, black and white; XXI, 288 p. 47 illus., 1 Paperback / softback
  • Serija: Theoretical Computer Science and General Issues 9212
  • Išleidimo metai: 21-Jul-2015
  • Leidėjas: Springer International Publishing AG
  • ISBN-10: 3319217402
  • ISBN-13: 9783319217406
Kitos knygos pagal šią temą:
This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were carefully reviewed and selected from 38 submissions. The Symposium is organized in several tracks, reflecting topics to self-*properties. The tracks are self-stabilization; fault-tolerance and dependability; ad-hoc and sensor networks; mobile agents; system security in distributed computing; and formal methods and distributed algorithms.
Keynote Lecture
A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels
3(18)
Christian Decker
Roger Wattenhofer
Regular Papers
Reaching Approximate Byzantine Consensus with Multi-hop Communication
21(15)
Lili Su
Nitin Vaidya
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks
36(15)
Quentin Bramas
Sebastien Tixeuil
Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems
51(16)
Swan Dubois
Mohamed-Hamza Kaaouachi
Franck Petit
The Match-Maker: Constant-Space Distributed Majority via Random Walks
67(14)
Leszek Gasieniec
David D. Hamilton
Russell Martin
Paul G. Spirakis
The k-Observer Problem on d-regular Graphs
81(13)
Benjamin Ries
Bernhard Schamberg
Walter Unger
Functional Encryption for Cascade Automata (Extended Abstract)
94(15)
Dan Brownstein
Shlomi Dolev
Niv Gilboa
The Implication Problem of Computing Policies
109(15)
Rezwana Reaz
Muqeet Ali
Mohamed G. Gouda
Marijn J.H. Heule
Ehab S. Elmallah
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples
124(15)
Oday Jubran
Eike Mohlmann
Oliver Theel
Untangling Partial Agreement: Iterated x-consensus Simulations
139(17)
Damien Imbs
Sergio Rajsbaum
Adrian Valle
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols
156(15)
Saba Aflaki
Borzoo Bonakdarpour
Sebastien Tixeuil
Efficient and Decentralized Polling Protocol for General Social Networks
171(16)
Bao-Thien Hoang
Abdessamad Imine
Constructing Self-stabilizing Oscillators in Population Protocols
187(14)
Colin Cooper
Anissa Lamani
Giovanni Viglietta
Masafumi Yamashita
Yukiko Yamauchi
Towards a Universal Approach for the Finite Departure Problem in Overlay Networks
201(16)
Andreas Koutsopoulos
Christian Scheideler
Thim Strothmann
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms
217(16)
Ling Zhu
Jingshu Chen
Sandeep Kulkarni
Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network
233(15)
Andrew Berns
Self-stabilizing Virtual Synchrony
248(19)
Shlomi Dolev
Chryssis Georgiou
Ioannis Marcoullis
Elad M. Schiller
Brief Announcements
Two-Phase Non-repudiation Protocols
267(2)
Muqeet Ali
Rezwana Reaz
Mohamed G. Gouda
Secure and Private Bidding Protocol for Incentive-Based Demand-Response System of Smart Grid
269(3)
Mohammad Shahriar Rahman
Anirban Basu
Shinsaku Kiyomoto
Brief Announcement: Meta-MapReduce A Technique for Reducing Communication in MapReduce Computations
272(3)
Foto Afrati
Shlomi Dolev
Shantanu Sharma
Jeffrey D. Ullman
Brief Announcement: Vehicle to Vehicle Authentication
275(3)
Shlomi Dolev
Lukasz Krzywiecki
Nisha Panwar
Michael Segal
Brief Announcement: Data Stabilization Enforcement via ACTIVE MONITORING the Cloud Infrastructure Consistency Case
278(2)
Alexander Binun
Thierry Coupaye
Shlomi Dolev
Mohammed Kassi-Lahlou
Marc Lacoste
Alex Palesandro
Aurelien Wailly
Reuven Yagel
Leonid Yankulin
Self-adjusting Skip Graphs
280(2)
Sukumar Ghosh
Sikder Rezwanul Huq
A Framework for Containing the Degree Growth in Topological Self-stabilization
282(2)
Thamer Alsulaiman
Andrew Berns
Sukumar Ghosh
Stabilizing Breach-Free Sensor Barriers
284(3)
Jorge A. Cobb
Chin-Tser Huang
Author Index 287