Search results for "SSS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tim Clement	The Morality and Economics of Safety in Defence Procurement.	SSS	2009	DBLP DOI BibTeX RDF
1	Mike Jones-Lee	Safety Expenditur e: wher e should we draw the Line?	SSS	2009	DBLP DOI BibTeX RDF
1	Wayne Flint, Ian Gilchr ist	Software Testing and IEC 61508 - Project Case Study and Further Thoughts.	SSS	2009	DBLP DOI BibTeX RDF
1	Catherine Menon, Richard Hawkins, John A. McDermid	Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards.	SSS	2009	DBLP DOI BibTeX RDF
1	John Adams	Risk Management: the Economics and Mor ality of Safety Revisited.	SSS	2009	DBLP DOI BibTeX RDF
1	Robert Lewis	Safety Case Development as an Information Modelling Problem.	SSS	2009	DBLP DOI BibTeX RDF
1	Iain Bate, Philippa Conmy	Certification of FPGAs - Current Issues and Possible Solutions.	SSS	2009	DBLP DOI BibTeX RDF
1	Glen Wilkinson, Rhys David	Back to Basics: Risk Matr ices and ALARP.	SSS	2009	DBLP DOI BibTeX RDF
1	Mahesh Arumugam	A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model.	SSS	2008	DBLP DOI BibTeX RDF
1	Peter Robinson 0002, Ulrich Schmid 0001	The Asynchronous Bounded-Cycle Model.	SSS	2008	DBLP DOI BibTeX RDF	partially synchronous models, clock synchronization, Fault-tolerant distributed algorithms
1	Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët	Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks.	SSS	2008	DBLP DOI BibTeX RDF
1	Jorge Arturo Cobb, Mohamed G. Gouda	Stabilization of Max-Min Fair Networks without Per-flow State.	SSS	2008	DBLP DOI BibTeX RDF	quality of service, Stabilization, computer networks, max-min fairness
1	Murat Demirbas, Anish Arora	An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks.	SSS	2008	DBLP DOI BibTeX RDF
1	Lyes Dekar, Hamamache Kheddouci	Distance-2 Self-stabilizing Algorithm for a b-Coloring of Graphs.	SSS	2008	DBLP DOI BibTeX RDF	b-coloring, data mining, clustering, graphs, self-stabilizing algorithm
1	Thomas Clouser, Mikhail Nesterenko, Christian Scheideler	Tiara: A Self-stabilizing Deterministic Skip List.	SSS	2008	DBLP DOI BibTeX RDF
1	Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil	A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem.	SSS	2008	DBLP DOI BibTeX RDF	Approximation, Maximum matching, Self-stabilizing algorithm
1	Alex Brodsky, Scott Lindenberg	Our Brothers' Keepers: Secure Routing with High Performance.	SSS	2008	DBLP DOI BibTeX RDF	peer authentication, distributed hash tables, Secure routing
1	Shlomi Dolev	Tutorial Abstract Virtual Infrastructure.	SSS	2008	DBLP DOI BibTeX RDF
1	Ulrich Schmid 0001	Keynote: Distributed Algorithms and VLSI.	SSS	2008	DBLP DOI BibTeX RDF
1	Ezra N. Hoch, Danny Bickson, Danny Dolev	Self-stabilizing Numerical Iterative Computation.	SSS	2008	DBLP DOI BibTeX RDF
1	Taehwan Choi, Sooel Son, Mohamed G. Gouda, Jorge Arturo Cobb	Pharewell to Phishing.	SSS	2008	DBLP DOI BibTeX RDF
1	Jing Li 0061, Anish Arora	Duty Cycle Stabilization in Semi-mobile Wireless Networks.	SSS	2008	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, André Schiper (eds.)	Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings	SSS	2008	DBLP DOI BibTeX RDF
1	Michael K. Reiter	Keynote: Trustworthy Services and the Biological Analogy.	SSS	2008	DBLP DOI BibTeX RDF
1	Anish Arora	Keynote: Primitives for Physical Trust.	SSS	2008	DBLP DOI BibTeX RDF
1	Hirotsugu Kakugawa, Toshimitsu Masuzawa	Convergence Time Analysis of Self-stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links.	SSS	2008	DBLP DOI BibTeX RDF	probabilistic self-stabilization, Wireless sensor network, self-organization, self-stabilization, convergence time
1	Doina Bein, Ajoy Kumar Datta, Chitwan K. Gupta, Lawrence L. Larmore	Local Synchronization on Oriented Rings.	SSS	2008	DBLP DOI BibTeX RDF	Local mutual exclusion, oriented ring, synchronization, transformer, self-stabilization
1	Di Ma, Gene Tsudik	DISH: Distributed Self-Healing.	SSS	2008	DBLP DOI BibTeX RDF
1	Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte	Self-stabilizing Mobile Robot Formations with Virtual Nodes.	SSS	2008	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Lawrence L. Larmore, Priyanka Vemula	Self-Stabilizing Leader Election in Optimal Space.	SSS	2008	DBLP DOI BibTeX RDF	Distributed algorithm, self-stabilization, leader election
1	T. P. Kelly	Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled?	SSS	2008	DBLP DOI BibTeX RDF
1	Gabriele Schedl, Werner Winkelbauer	Practical Ways of Improving Product Safety in Industry.	SSS	2008	DBLP DOI BibTeX RDF
1	Richard Sleeman, Andrew Cox, Jenny Colledge	Systems Approach to Unmanned Air Vehicle Development and Certification.	SSS	2008	DBLP DOI BibTeX RDF
1	Derek Mannering, Jon G. Hall, Lucia Rapanotti	Safety Process Improvement with POSE and Alloy.	SSS	2008	DBLP DOI BibTeX RDF
1	Wojciech Basalaj	How to Select a Programming Language Subset to Maximise Software Quality.	SSS	2008	DBLP DOI BibTeX RDF
1	Stephen O. Clark, Steven T. Shorrock, Nic Turley	Human Factors Safety Assurance for Changing ATM Systems.	SSS	2008	DBLP DOI BibTeX RDF
1	Mike Ainsworth	Prototyping versus Formal Development.	SSS	2008	DBLP DOI BibTeX RDF
1	Felix Redmill, Tom Anderson 0001 (eds.)	Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008	SSS	2008	DBLP DOI BibTeX RDF
1	Tim Smith	Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments.	SSS	2008	DBLP DOI BibTeX RDF
1	Christopher Lowe	A Human Factors Perspective on Safety Management Systems.	SSS	2008	DBLP DOI BibTeX RDF
1	Michael Ellims	Safety Analysis: Thoughts on Methods and Experience.	SSS	2008	DBLP DOI BibTeX RDF
1	Robin Cook	Simplifying the Creation and Use of the Risk Matrix.	SSS	2008	DBLP DOI BibTeX RDF
1	Odd Nordland	Making Safe Software Secure.	SSS	2008	DBLP DOI BibTeX RDF
1	Tadeusz Cichocki	Safety Case Development How can I continue the work?	SSS	2008	DBLP DOI BibTeX RDF
1	Don Goble	Human Performance Improvement-Reducing Significant Events in Nuclear Power.	SSS	2008	DBLP DOI BibTeX RDF
1	Jeff Lucas	Safety Case Experiences from Harrier.	SSS	2008	DBLP DOI BibTeX RDF
1	Roberto Cortiñas, Felix C. Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Draque Penso, Iratxe Soraluze Arriola	Secure Failure Detection in TrustedPals.	SSS	2007	DBLP DOI BibTeX RDF
1	Jaap-Henk Hoepman, Andreas Larsson, Elad Michael Schiller, Philippas Tsigas	Secure and Self-stabilizing Clock Synchronization in Sensor Networks.	SSS	2007	DBLP DOI BibTeX RDF	Secure and Resilient Computer Systems, Sensor-Network Systems, Self-Stabilization, Clock-synchronization
1	Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier	Robust Stabilizing Leader Election.	SSS	2007	DBLP DOI BibTeX RDF
1	Martin Biely, Martin Hutle, Lucia Draque Penso, Josef Widder	Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency.	SSS	2007	DBLP DOI BibTeX RDF
1	Young-ri Choi, Mohamed G. Gouda	Stabilization of Flood Sequencing Protocols in Sensor Networks.	SSS	2007	DBLP DOI BibTeX RDF	Flood sequencing protocol, Sensor networks, Self-stabilization, Sequence numbers
1	Jean-Jacques Quisquater	The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults?	SSS	2007	DBLP DOI BibTeX RDF
1	Jorge Arturo Cobb	Stabilization of Loop-Free Redundant Routing.	SSS	2007	DBLP DOI BibTeX RDF
1	Fabien Mathieu	Upper Bounds for Stabilization in Acyclic Preference-Based Systems.	SSS	2007	DBLP DOI BibTeX RDF	Preference-based systems, adversarial and round robin daemons, round robin, acyclicity, b-matching
1	Tina Nolte, Nancy A. Lynch	Self-stabilization and Virtual Node Layer Emulations.	SSS	2007	DBLP DOI BibTeX RDF	virtual stationary automata, virtual node layer, abstraction layer emulation, TIOA, mobile ad-hoc networking, self-stabilization, geocast
1	Toshimitsu Masuzawa, Sébastien Tixeuil (eds.)	Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings	SSS	2007	DBLP DOI BibTeX RDF
1	Kay Römer	Role-Based Self-configuration of Sensor Networks.	SSS	2007	DBLP DOI BibTeX RDF
1	Masafumi Yamashita	Robots and Molecules.	SSS	2007	DBLP DOI BibTeX RDF
1	Taisuke Izumi, Koichi Wada 0001	On the Probabilistic Omission Adversary.	SSS	2007	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel, Ai Yamazaki	Self* Minimum Connected Covers of Query Regions in Sensor Networks.	SSS	2007	DBLP DOI BibTeX RDF
1	Rainer Bye, Katja Luther, Seyit Ahmet Çamtepe, Tansu Alpcan, Sahin Albayrak, Bülent Yener	Decentralized Detector Generation in Cooperative Intrusion Detection Systems.	SSS	2007	DBLP DOI BibTeX RDF
1	Davide Canepa, Maria Gradinariu Potop-Butucaru	Stabilizing Flocking Via Leader Election in Robot Networks.	SSS	2007	DBLP DOI BibTeX RDF
1	Felix C. Freiling, Arshad Jhumka	Global Predicate Detection in Distributed Systems with Small Faults.	SSS	2007	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.	SSS	2007	DBLP DOI BibTeX RDF	Parallel synthesis, Fault-tolerance, Distributed algorithms, Program transformation, Program synthesis
1	Bertrand Ducourthial	r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks.	SSS	2007	DBLP DOI BibTeX RDF
1	Yu Chen, Wei Chen 0013	Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance.	SSS	2007	DBLP DOI BibTeX RDF	structured overlay maintenance, fault tolerance, peer-to-peer
1	Shlomi Dolev, Reuven Yagel	Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract).	SSS	2007	DBLP DOI BibTeX RDF	host systems, Byzantine programs, security, self-stabilization, trust and reputation
1	Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki	Stability of the Multiple-Access Channel Under Maximum Broadcast Loads.	SSS	2007	DBLP DOI BibTeX RDF	deterministic broadcast, adversarial queuing, stability, fairness, latency, multiple-access channel
1	Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi	Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems.	SSS	2007	DBLP DOI BibTeX RDF	Fault-tolerance, Grid computing, Self-stabilization, Peer-to-peer systems, Snap-stabilization
1	Fredrik Manne, Morten Mjelde	A Self-stabilizing Weighted Matching Algorithm.	SSS	2007	DBLP DOI BibTeX RDF	weighted matching, self-stabilizing algorithms
1	Danny Dolev, Ezra N. Hoch	Byzantine Self-stabilizing Pulse in a Bounded-Delay Model.	SSS	2007	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Ephraim Korach, Galit Uzan	Magnifying Computing GapsEstablishing Encrypted Communication over Unidirectional Channels (Extended Abstract).	SSS	2007	DBLP DOI BibTeX RDF	unidirectional encryption, combinatorial optimization problems
1	Anurag Dasgupta, Sukumar Ghosh, Xin Xiao	Probabilistic Fault-Containment.	SSS	2007	DBLP DOI BibTeX RDF
1	Hui Cao 0001, Anish Arora	Stabilization in Dynamic Systems with Varying Equilibrium.	SSS	2007	DBLP DOI BibTeX RDF	Optimality, Stabilization, Control, Equilibrium, MiniMax
1	Mohamed G. Gouda, Yan Li	The Truth System: Can a System of Lying Processes Stabilize?	SSS	2007	DBLP DOI BibTeX RDF	Distributed Systems, Self-Stabilization, Network Protocols
1	Ted Herman, Sriram V. Pemmaraju, Laurence Pilard, Morten Mjelde	Temporal Partition in Sensor Networks.	SSS	2007	DBLP DOI BibTeX RDF
1	Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks	On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusion.	SSS	2007	DBLP DOI BibTeX RDF
1	Brian Dobbing, Samantha Lautieri	Dependability-by-Contract.	SSS	2007	DBLP DOI BibTeX RDF
1	Ibrahim Habli, Tim Kelly	Achieving Integrated Process and Product Safety Arguments.	SSS	2007	DBLP DOI BibTeX RDF
1	Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly	Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.	SSS	2007	DBLP DOI BibTeX RDF
1	John Spriggs	The Sum of its Parts.	SSS	2007	DBLP DOI BibTeX RDF
1	John Ridgway	Achieving Safety through Security Management.	SSS	2007	DBLP DOI BibTeX RDF
1	Barry Kirwan, W. Huw Gibson	CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management - Technical Basis and Preliminary Architecture.	SSS	2007	DBLP DOI BibTeX RDF
1	Felix Redmill, Tom Anderson 0001 (eds.)	The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007	SSS	2007	DBLP DOI BibTeX RDF
1	Liz Beswick, Jonathan Kettleborough	A Proactive Approach to Enhancing Safety Culture.	SSS	2007	DBLP DOI BibTeX RDF
1	Marcelin Fortes da Cruz, Paul Raistrick	AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration.	SSS	2007	DBLP DOI BibTeX RDF
1	Richard Maguire	Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes.	SSS	2007	DBLP DOI BibTeX RDF
1	Chris W. Johnson 0001, C. Michael Holloway	A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006).	SSS	2007	DBLP DOI BibTeX RDF
1	Peter H. Jesty, David D. Ward	Towards a Unified Approach to Safety and Security in Automotive Systems.	SSS	2007	DBLP DOI BibTeX RDF
1	Colin M. O'Halloran, Clive H. Pygott	Formalising C and C++ for Use in High Integrity Systems.	SSS	2007	DBLP DOI BibTeX RDF
1	Rodney May	Safety Assessments of Air Traffic Systems.	SSS	2007	DBLP DOI BibTeX RDF
1	Alan Newton, Andrew Vickers	The Benefits of Electronic Safety Cases.	SSS	2007	DBLP DOI BibTeX RDF
1	Paul Edwards, Andrew Furse, Andrew Vickers	Independently Assessing Legacy Safety Systems.	SSS	2007	DBLP DOI BibTeX RDF
1	Benoit Claudel, Noel De Palma, Renaud Lachaize, Daniel Hagimont	Self-protection for Distributed Component-Based Applications.	SSS	2006	DBLP DOI BibTeX RDF
1	Toshimitsu Masuzawa, Sébastien Tixeuil	On Bootstrapping Topology Knowledge in Anonymous Networks.	SSS	2006	DBLP DOI BibTeX RDF
1	Sapon Tanachaiwiwat, Ahmed Helmy	Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks.	SSS	2006	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah	Logarithmic Keying of Communication Networks.	SSS	2006	DBLP DOI BibTeX RDF	keying scheme, Secure communications, symmetric keys
1	Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System.	SSS	2006	DBLP DOI BibTeX RDF
1	Jeong Hyun Yi	Energy-Efficient and Non-interactive Self-certification in MANETs.	SSS	2006	DBLP DOI BibTeX RDF	authentication, key management, Security protocol, self-configuration, threshold cryptography
1	Mahyar R. Malekpour	A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems.	SSS	2006	DBLP DOI BibTeX RDF	fault tolerant, algorithm, model checking, verification, protocol, distributed, self-stabilization, clock synchronization, Byzantine

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