Search results for "SSS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Hrishikesh B. Acharya, Mohamed G. Gouda	Brief Announcement: On the Hardness of Topology Inference.	SSS	2010	DBLP DOI BibTeX RDF
1	Jons-Tobias Wamhoff, Torvald Riegel, Christof Fetzer, Pascal Felber	RobuSTM: A Robust Software Transactional Memory.	SSS	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.	SSS	2010	DBLP DOI BibTeX RDF
1	Bo Zhang, Robert Simon, Hakan Aydin	Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Hagit Attiya, Vincent Gramoli, Alessia Milani	A Provably Starvation-Free Distributed Directory Protocol.	SSS	2010	DBLP DOI BibTeX RDF
1	Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility.	SSS	2010	DBLP DOI BibTeX RDF
1	Mathieu Valero, Luciana Arantes, Maria Gradinariu, Pierre Sens 0001	Dynamically Reconfigurable Filtering Architectures.	SSS	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	SSS	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.	SSS	2010	DBLP DOI BibTeX RDF
1	Steve Kinnersly, Ian Spalding	Code of Practice and Competencies for ISAs.	SSS	2010	DBLP DOI BibTeX RDF
1	Graham Jolliffe	Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) - An Objective Overview.	SSS	2010	DBLP DOI BibTeX RDF
1	John M. Rushby	Formalism in Safety Cases.	SSS	2010	DBLP DOI BibTeX RDF
1	Ian Harrison	IEC80001 and Future Ramifications for Health Systems not currently classed as Medical Devices.	SSS	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.	SSS	2010	DBLP DOI BibTeX RDF
1	Ronald Pierce, Derek Fowler	Applying IEC 61508 to Air Traffic Management Systems.	SSS	2010	DBLP DOI BibTeX RDF
1	Keith Armstrong	The new IET Guide - how to do EMC to help achieve Functional Safety.	SSS	2010	DBLP DOI BibTeX RDF
1	Les Hatton	Bureaucracy, Safety and Software: a Potentially Lethal Cocktail.	SSS	2010	DBLP DOI BibTeX RDF
1	Peter Duggan	Competence, The Why? The How? and 'A Practical Approach'.	SSS	2010	DBLP DOI BibTeX RDF
1	Robin E. Bloomfield, Peter G. Bishop	Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective.	SSS	2010	DBLP DOI BibTeX RDF
1	Hans Tschürtz, Gabriele Schedl	An Integrated Project Management Life Cycle Supporting System Safety.	SSS	2010	DBLP DOI BibTeX RDF
1	Mike Parsons, Charles Hunter	Patterns in Safety-Related Projects.	SSS	2010	DBLP DOI BibTeX RDF
1	Jean-Luc Valk, Hans Vis, Gerard Koning	Phileas, a Safety Critical Trip around the World.	SSS	2010	DBLP DOI BibTeX RDF
1	Georgios Despotou, Mike Bennett, Tim P. Kelly	Evaluation and Integration of COTS in Evidence based Assurance Frameworks.	SSS	2010	DBLP DOI BibTeX RDF
1	Gabriele Schedl, Werner Winkelbauer, Alexander Wendt	A Way to Successful Hazard Management.	SSS	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	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Jing Xu 0012, Ming Zhao 0002, José A. B. Fortes	Cooperative Autonomic Management in Dynamic Distributed Systems.	SSS	2009	DBLP DOI BibTeX RDF
1	David Peleg	As Good as It Gets: Competitive Fault Tolerance in Network Structures.	SSS	2009	DBLP DOI BibTeX RDF
1	Volker Turau, Bernd Hauck	A Self-stabilizing Approximation Algorithm for Vertex Cover in Anonymous Networks.	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Anvesh Komuravelli, Matús Mihalák	Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision.	SSS	2009	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Marina Kopeetsky	Anonymous Transactions in Computer Networks.	SSS	2009	DBLP DOI BibTeX RDF
1	Sylvie Delaët, Shlomi Dolev, Olivier Peres	Safer Than Safe: On the Initial State of Self-stabilizing Systems.	SSS	2009	DBLP DOI BibTeX RDF
1	Xin Liu 0027, Anwitaman Datta	Redundancy Maintenance and Garbage Collection Strategies in Peer-to-Peer Storage Systems.	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Pierre Leone, Marina Papatriantafilou, Elad Michael Schiller	Relocation Analysis of Stabilizing MAC.	SSS	2009	DBLP DOI BibTeX RDF
1	Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol	Developing Autonomic and Secure Virtual Organisations with Chemical Programming.	SSS	2009	DBLP DOI BibTeX RDF
1	R. E. Lee DeVille, Sayan Mitra	Stability of Distributed Algorithms in the Face of Incessant Faults.	SSS	2009	DBLP DOI BibTeX RDF
1	Martin Biely, Martin Hutle	Consensus When All Processes May Be Byzantine for Some Time.	SSS	2009	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Multicore Constraint-Based Automated Stabilization.	SSS	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.	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Cinzia Bernardeschi, Paolo Masci 0001, Holger Pfeifer	Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios.	SSS	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.	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Kajari Ghosh Dastidar, Ted Herman	Separation of Circulating Tokens.	SSS	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.	SSS	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.	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Mohammad Torabi Dashti	Optimistic Fair Exchange Using Trusted Devices.	SSS	2009	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda	Brief Announcement: Consistent Fixed Points and Negative Gain.	SSS	2009	DBLP DOI BibTeX RDF
1	Anne-Marie Kermarrec	Challenges in Personalizing and Decentralizing the Web: An Overview of GOSSPLE.	SSS	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?	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Thomas Polzer, Thomas Handl, Andreas Steininger	A Metastability-Free Multi-synchronous Communication Scheme for SoCs.	SSS	2009	DBLP DOI BibTeX RDF
1	Alain Cournier, Swan Dubois, Vincent Villain	How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?	SSS	2009	DBLP DOI BibTeX RDF
1	Olivier Sarrouy, Eric Totel, Bernard Jouga	Application Data Consistency Checking for Anomaly Based Intrusion Detection.	SSS	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.	SSS	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.	SSS	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	SSS	2009	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Nir Tzachar	Randomization Adaptive Self-stabilization.	SSS	2009	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Mohamed G. Gouda	A Theory of Network Tracing.	SSS	2009	DBLP DOI BibTeX RDF
1	Márk Jelasity, Vilmos Bilicki	Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat.	SSS	2009	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Limor Lahiani, Yinnon A. Haviv	Brief Announcement: Unique Permutation Hashing.	SSS	2009	DBLP DOI BibTeX RDF
1	Danny Dolev, Ezra N. Hoch, Yoram Moses	An Optimal Self-stabilizing Firing Squad.	SSS	2009	DBLP DOI BibTeX RDF
1	Giovanna Di Marzo Serugendo	Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective.	SSS	2009	DBLP DOI BibTeX RDF
1	Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri	Efficient Robust Storage Using Secret Tokens.	SSS	2009	DBLP DOI BibTeX RDF
1	André Schumacher, Harri Haanpää	Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning.	SSS	2009	DBLP DOI BibTeX RDF
1	Stevens Le Blond, Fabrice Le Fessant, Erwan Le Merrer	Finding Good Partners in Availability-Aware P2P Networks.	SSS	2009	DBLP DOI BibTeX RDF
1	Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks.	SSS	2009	DBLP DOI BibTeX RDF
1	Mehmet Hakan Karaata, Rachid Hadid	Brief Announcement: A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks.	SSS	2009	DBLP DOI BibTeX RDF
1	Joffroy Beauquier, Janna Burman, Shay Kutten	Making Population Protocols Self-stabilizing.	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Ruan He, Marc Lacoste, Jean Leneutre	Brief Announcement: An OS Architecture for Device Self-protection.	SSS	2009	DBLP DOI BibTeX RDF
1	Rodica Mihai, Morten Mjelde	A Self-stabilizing Algorithm for Graph Searching in Trees.	SSS	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.	SSS	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.	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Christoph Lenzen 0001, Jukka Suomela, Roger Wattenhofer	Local Algorithms: Self-stabilization on Speed.	SSS	2009	DBLP DOI BibTeX RDF
1	Colette Johnen, Fouzi Mekhaldi	Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters.	SSS	2009	DBLP DOI BibTeX RDF
1	Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Ooshita	Randomized Gathering of Mobile Robots with Local-Multiplicity Detection.	SSS	2009	DBLP DOI BibTeX RDF
1	Anurag Dasgupta, Sukumar Ghosh, Xin Xiao	Fault-Containment in Weakly-Stabilizing Systems.	SSS	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.	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Hrishikesh B. Acharya	Nash Equilibria in Stabilizing Systems.	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Andrea Marongiu, Andrea Acquaviva, Luca Benini	OpenMP Support for NBTI-Induced Aging Tolerance in MPSoCs.	SSS	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.	SSS	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.	SSS	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.	SSS	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.	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	John Alexander McDermid, Martyn Thomas, Felix Redmill	Professional Issues in System Safety Engineering.	SSS	2009	DBLP DOI BibTeX RDF
1	Dave Hughes, Amer Saeed	Hazard Management with DOORS: Rail Infrastructure Projects.	SSS	2009	DBLP DOI BibTeX RDF
1	George Davies	What is Clinical Safety in Electronic Health Care Record Systems?	SSS	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?	SSS	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	SSS	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.	SSS	2009	DBLP DOI BibTeX RDF
1	Nancy G. Leveson	The Need for New Paradigms in Safety Engineering.	SSS	2009	DBLP DOI BibTeX RDF
1	Stephen Drabble	Safety Process Measur ement - Are we ther e yet?	SSS	2009	DBLP DOI BibTeX RDF

Publications at "SSS"( http://dblp.L3S.de/Venues/SSS )