![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.