Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hrishikesh B. Acharya, Mohamed G. Gouda |
Brief Announcement: On the Hardness of Topology Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 285-287, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jons-Tobias Wamhoff, Torvald Riegel, Christof Fetzer, Pascal Felber |
RobuSTM: A Robust Software Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 388-404, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil |
Loop-Free Super-Stabilizing Spanning Tree Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 50-64, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bo Zhang, Robert Simon, Hakan Aydin |
Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 236-251, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hagit Attiya, Vincent Gramoli, Alessia Milani |
A Provably Starvation-Free Distributed Directory Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 405-419, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil |
Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 319-331, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Valero, Luciana Arantes, Maria Gradinariu, Pierre Sens 0001 |
Dynamically Reconfigurable Filtering Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 504-518, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Jorge Arturo Cobb, Michael J. Fischer, Moti Yung (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-642-16022-6 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tuan Manh Vu, Reihaneh Safavi-Naini, Carey Williamson |
On Applicability of Random Graphs for Modeling Random Key Predistribution for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, pp. 159-175, 2010, Springer, 978-3-642-16022-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Steve Kinnersly, Ian Spalding |
Code of Practice and Competencies for ISAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 211-230, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Graham Jolliffe |
Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) - An Objective Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 37-50, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Formalism in Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 3-17, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ian Harrison |
IEC80001 and Future Ramifications for Health Systems not currently classed as Medical Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 149-171, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly |
An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 129-147, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ronald Pierce, Derek Fowler |
Applying IEC 61508 to Air Traffic Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 103-113, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Keith Armstrong |
The new IET Guide - how to do EMC to help achieve Functional Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 187-210, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Les Hatton |
Bureaucracy, Safety and Software: a Potentially Lethal Cocktail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 21-36, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Duggan |
Competence, The Why? The How? and 'A Practical Approach'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 175-186, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robin E. Bloomfield, Peter G. Bishop |
Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 51-67, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hans Tschürtz, Gabriele Schedl |
An Integrated Project Management Life Cycle Supporting System Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 71-83, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mike Parsons, Charles Hunter |
Patterns in Safety-Related Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 85-100, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Luc Valk, Hans Vis, Gerard Koning |
Phileas, a Safety Critical Trip around the World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 115-126, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Despotou, Mike Bennett, Tim P. Kelly |
Evaluation and Integration of COTS in Evidence based Assurance Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 233-254, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Schedl, Werner Winkelbauer, Alexander Wendt |
A Way to Successful Hazard Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 255-271, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Chris Dale, Tom Anderson 0001 (eds.) |
Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-84996-085-4 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Leroux, Sébastien Roy 0002 |
Distributed Power Control with Multiple Agents in a Distributed Base Station Scheme Using Macrodiversity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 500-514, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jing Xu 0012, Ming Zhao 0002, José A. B. Fortes |
Cooperative Autonomic Management in Dynamic Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 756-770, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David Peleg |
As Good as It Gets: Competitive Fault Tolerance in Network Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 35-46, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Volker Turau, Bernd Hauck |
A Self-stabilizing Approximation Algorithm for Vertex Cover in Anonymous Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 341-353, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed algorithms, vertex cover, anonymous networks, self-stabilizing algorithms |
1 | Lifeng Sang, Anish Arora |
A Wireless Security Framework without Shared Secrets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 609-623, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anvesh Komuravelli, Matús Mihalák |
Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 458-471, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Marina Kopeetsky |
Anonymous Transactions in Computer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 297-310, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sylvie Delaët, Shlomi Dolev, Olivier Peres |
Safer Than Safe: On the Initial State of Self-stabilizing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 775-776, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Xin Liu 0027, Anwitaman Datta |
Redundancy Maintenance and Garbage Collection Strategies in Peer-to-Peer Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 515-530, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
peer-to-peer storage-systems, redundancy maintenance, garbage collection, trace-driven simulations |
1 | Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis |
A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 133-148, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Leone, Marina Papatriantafilou, Elad Michael Schiller |
Relocation Analysis of Stabilizing MAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 791-792, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol |
Developing Autonomic and Secure Virtual Organisations with Chemical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 75-89, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | R. E. Lee DeVille, Sayan Mitra |
Stability of Distributed Algorithms in the Face of Incessant Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 224-237, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Biely, Martin Hutle |
Consensus When All Processes May Be Byzantine for Some Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 120-132, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fuad Abujarad, Sandeep S. Kulkarni |
Multicore Constraint-Based Automated Stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 47-61, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multicore Algorithms, Stabilization, Program Transformation, Distributed Programs, Program Synthesis |
1 | Wei Shi 0001 |
Black Hole Search with Tokens in Interconnected Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 670-682, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Un-oriented, Mobile Agent, Ring, Token, Scattered, Black Hole |
1 | Sabina Serbu, Etienne Rivière, Pascal Felber |
Network-Friendly Gossiping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 655-669, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Bernardeschi, Paolo Masci 0001, Holger Pfeifer |
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 105-119, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jun Kiniwa, Kensaku Kikuta |
Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 443-457, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
safety under convergence, intentional fault model, multistage two-person zero sum game, game theory, self-stabilization, mutual exclusion, unfair scheduler |
1 | Olivier Peres |
Brief Announcement: How to Overcome the Limits of Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 795-796, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kajari Ghosh Dastidar, Ted Herman |
Separation of Circulating Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 354-368, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting |
From Local Impact Functions to Global Adaptation of Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 593-608, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Gall, Riko Jacob, Andréa W. Richa, Christian Scheideler, Stefan Schmid 0001, Hanjo Täubig |
Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 781-782, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bo Jiang 0008, Binoy Ravindran, Hyeonjoong Cho |
CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 413-427, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Torabi Dashti |
Optimistic Fair Exchange Using Trusted Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 711-725, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda |
Brief Announcement: Consistent Fixed Points and Negative Gain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 771-772, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anne-Marie Kermarrec |
Challenges in Personalizing and Decentralizing the Web: An Overview of GOSSPLE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 1-16, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | François Bonnet 0001, Michel Raynal |
Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 149-164, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Wagener, Radu State, Alexandre Dulaunoy, Thomas Engel 0001 |
Self Adaptive High Interaction Honeypots Driven by Game Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 741-755, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Polzer, Thomas Handl, Andreas Steininger |
A Metastability-Free Multi-synchronous Communication Scheme for SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 578-592, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alain Cournier, Swan Dubois, Vincent Villain |
How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 195-208, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Sarrouy, Eric Totel, Bernard Jouga |
Application Data Consistency Checking for Anomaly Based Intrusion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 726-740, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dalibor Peric, Thomas Bocek, Fabio Victora Hecht, David Hausheer, Burkhard Stiller |
Brief Announcement: The Design and Evaluation of a Distributed Reliable File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 797-798, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
Model Checking Coalition Nash Equilibria in MAD Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 531-546, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Guerraoui, Franck Petit (eds.) |
Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-642-05117-3 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Nir Tzachar |
Randomization Adaptive Self-stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 779-780, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hrishikesh B. Acharya, Mohamed G. Gouda |
A Theory of Network Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 62-74, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Márk Jelasity, Vilmos Bilicki |
Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 399-412, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Limor Lahiani, Yinnon A. Haviv |
Brief Announcement: Unique Permutation Hashing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 777-778, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Danny Dolev, Ezra N. Hoch, Yoram Moses |
An Optimal Self-stabilizing Firing Squad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 284-296, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Giovanna Di Marzo Serugendo |
Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 254-268, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri |
Efficient Robust Storage Using Secret Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 269-283, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | André Schumacher, Harri Haanpää |
Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 640-654, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stevens Le Blond, Fabrice Le Fessant, Erwan Le Merrer |
Finding Good Partners in Availability-Aware P2P Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 472-484, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil |
Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 165-179, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mehmet Hakan Karaata, Rachid Hadid |
Brief Announcement: A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 789-790, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Janna Burman, Shay Kutten |
Making Population Protocols Self-stabilizing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 90-104, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transformer, self-stabilization, population protocols, cover time |
1 | Cristian Martín 0001, Mikel Larrea |
Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 793-794, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ruan He, Marc Lacoste, Jean Leneutre |
Brief Announcement: An OS Architecture for Device Self-protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 783-784, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rodica Mihai, Morten Mjelde |
A Self-stabilizing Algorithm for Graph Searching in Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 563-577, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mario Mense, Christian Schindelhauer |
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 624-639, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa |
Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 428-442, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuelle Anceaume, Francisco Vilar Brasileiro, Romaric Ludinard, Bruno Sericola, Frederic Tronel |
Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 773-774, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lenzen 0001, Jukka Suomela, Roger Wattenhofer |
Local Algorithms: Self-stabilization on Speed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 17-34, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Colette Johnen, Fouzi Mekhaldi |
Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 787-788, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Ooshita |
Randomized Gathering of Mobile Robots with Local-Multiplicity Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 384-398, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anurag Dasgupta, Sukumar Ghosh, Xin Xiao |
Fault-Containment in Weakly-Stabilizing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 209-223, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia |
ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 325-340, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
context-specific knowledge, run-time composition, service oriented architecture, Adaptive middleware |
1 | Samia Souissi, Taisuke Izumi, Koichi Wada 0001 |
Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 683-697, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed G. Gouda, Hrishikesh B. Acharya |
Nash Equilibria in Stabilizing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 311-324, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer 0001, Bernd Becker 0001 |
Dependability Engineering of Silent Self-stabilizing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 238-253, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marongiu, Andrea Acquaviva, Luca Benini |
OpenMP Support for NBTI-Induced Aging Tolerance in MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 547-562, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Süßkraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack, Diogo Becker de Brum, Christof Fetzer |
Speculation for Parallelizing Runtime Checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 698-710, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christian Henrich, Matthias Huber, Carmen Kempka, Jörn Müller-Quade, Mario Strefler |
Brief Announcement: Towards Secure Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 785-786, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Software as a Service, Cloud Computing Security |
1 | Damien Imbs, Michel Raynal |
Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 369-383, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
t-Resilience, Wait-free environment, Fault-Tolerance, Distributed computability, Shared memory system, Reduction, Arbiter, Asynchronous processes, Process crash failure |
1 | Mary-Luc Champel, Anne-Marie Kermarrec, Nicolas Le Scouarnec |
FoG: Fighting the Achilles' Heel of Gossip Protocols with Fountain Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 180-194, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Legtchenko, Sébastien Monnet, Pierre Sens 0001, Gilles Muller |
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 485-499, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John Alexander McDermid, Martyn Thomas, Felix Redmill |
Professional Issues in System Safety Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 135-145, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dave Hughes, Amer Saeed |
Hazard Management with DOORS: Rail Infrastructure Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 71-93, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | George Davies |
What is Clinical Safety in Electronic Health Care Record Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 167-175, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alan Fisher |
Accidents - Policy and Punishment Are there boundar ies to the effectiveness of cr iminal sanctions in preventing accidental conduct? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 119-134, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chris Dale, Tom Anderson 0001 (eds.) |
Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-84882-348-8 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jörn Stuphorn, Bernd Sieker, Peter B. Ladkin |
Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 95-115, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nancy G. Leveson |
The Need for New Paradigms in Safety Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 3-20, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Drabble |
Safety Process Measur ement - Are we ther e yet? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 195-207, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|