default search action
17th SSS 2015: Edmonton, AB, Canada
- Andrzej Pelc, Alexander A. Schwarzmann:
Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings. Lecture Notes in Computer Science 9212, Springer 2015, ISBN 978-3-319-21740-6
Keynote Lecture
- Christian Decker, Roger Wattenhofer:
A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels. 3-18
Regular Papers
- Lili Su, Nitin H. Vaidya:
Reaching Approximate Byzantine Consensus with Multi-hop Communication. 21-35 - Quentin Bramas, Sébastien Tixeuil:
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks. 36-50 - Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit:
Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems. 51-66 - Leszek Gasieniec, David D. Hamilton, Russell Martin, Paul G. Spirakis:
The Match-Maker: Constant-Space Distributed Majority via Random Walks. 67-80 - Benjamin Ries, Bernhard Schamberg, Walter Unger:
The k-Observer Problem on d-regular Graphs. 81-93 - Dan Brownstein, Shlomi Dolev, Niv Gilboa:
Functional Encryption for Cascade Automata (Extended Abstract). 94-108 - Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah:
The Implication Problem of Computing Policies. 109-123 - Oday Jubran, Eike Möhlmann, Oliver E. Theel:
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. 124-138 - Damien Imbs, Sergio Rajsbaum, Adrián Valle:
Untangling Partial Agreement: Iterated x-consensus Simulations. 139-155 - Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil:
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. 156-170 - Bao-Thien Hoang, Abdessamad Imine:
Efficient and Decentralized Polling Protocol for General Social Networks. 171-186 - Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi:
Constructing Self-stabilizing Oscillators in Population Protocols. 187-200 - Andreas Koutsopoulos, Christian Scheideler, Thim Strothmann:
Towards a Universal Approach for the Finite Departure Problem in Overlay Networks. 201-216 - Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni:
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. 217-232 - Andrew Berns:
Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network. 233-247 - Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad Michael Schiller:
Self-stabilizing Virtual Synchrony. 248-264
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.