Search results for "SRDS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Miguel Correia 0001, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo	Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model.	SRDS	2002	DBLP DOI BibTeX RDF
1	Kalyanaraman Vaidyanathan, Selvamuthu Dharmaraja, Kishor S. Trivedi	Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems.	SRDS	2002	DBLP DOI BibTeX RDF
1	Luigi Romano, Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo	Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications.	SRDS	2002	DBLP DOI BibTeX RDF	Threshold mechanisms, Diagnosis, COTS, Legacy systems, Distributed architectures
1	Robbert van Renesse, Dan Dumitriu	Collaborative Networking in an Uncooperative Internet.	SRDS	2002	DBLP DOI BibTeX RDF
1	Dahlia Malkhi	From Byzantine Agreement to Practical Survivability.	SRDS	2002	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Elad Schiller, Jennifer L. Welch	Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks.	SRDS	2002	DBLP DOI BibTeX RDF
1	Robbert van Renesse	Power-Aware Epidemics.	SRDS	2002	DBLP DOI BibTeX RDF
1	Xavier Défago, Fernando Pedone	Message from the RCDS Co-Chairs.	SRDS	2002	DBLP DOI BibTeX RDF
1	Raul Ceretta Nunes, Ingrid Jansch-Pôrto	Modeling Communication Delays in Distributed Systems Using Time Series.	SRDS	2002	DBLP DOI BibTeX RDF
1	Zheng Zhang 0001, Qiao Lian	Reperasure: Replication Protocol Using Erasure-Code in Peer-to-Peer Storage Network.	SRDS	2002	DBLP DOI BibTeX RDF
1	Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi	Availability Models with Age-Dependent Checkpointing.	SRDS	2002	DBLP DOI BibTeX RDF	age-dependent model, approximation, availability, checkpoint, file system, rollback recovery
1	Shay Kutten, David Peleg	Asynchronous Resource Discovery in Peer to Peer Networks.	SRDS	2002	DBLP DOI BibTeX RDF	Topology knowledge loss, Peer to Peer, Distributed algorithms, P2P, Asynchronous networks, Topology changes
1	Kevin A. Kwiat	Can Reliability and Security be Joined Reliably and Securely?.	SRDS	2001	DBLP DOI BibTeX RDF
1	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Bettina Kemme, Gustavo Alonso	How to Select a Replication Protocol According to Scalability, Availability, and Communication Overhead.	SRDS	2001	DBLP DOI BibTeX RDF	transactions, data replication, quorums
1	Stefano Chessa, Paolo Santi	Comparison-Based System-Level Fault Diagnosis in Ad Hoc Networks.	SRDS	2001	DBLP DOI BibTeX RDF
1	Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Raimundo A. Macêdo	A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window.	SRDS	2001	DBLP DOI BibTeX RDF
1	John R. Douceur, Roger Wattenhofer	Optimizing File Availability in a Secure Serverless Distributed File System.	SRDS	2001	DBLP DOI BibTeX RDF
1	Fernando Pedone	Optimistic Validation of Electronic Tickets.	SRDS	2001	DBLP DOI BibTeX RDF
1	Adnan Agbaria, Hagit Attiya, Roy Friedman, Roman Vitenberg	Quantifying Rollback Propagation in Distributed Checkpointing.	SRDS	2001	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Anish Arora, Arun Chippada	Polynomial Time Synthesis of Byzantine Agreement.	SRDS	2001	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis
1	Vilgot Claesson, Henrik Lönn, Neeraj Suri	Efficient TDMA Synchronization for Distributed Embedded Systems.	SRDS	2001	DBLP DOI BibTeX RDF
1	Feras Karablieh, Rida A. Bazzi, Margaret Hicks	Compiler-Assisted Heterogeneous Checkpointing.	SRDS	2001	DBLP DOI BibTeX RDF
1	Dahlia Malkhi, Ohad Rodeh, Michael K. Reiter, Yaron Sella	Efficient Update Diffusion in Byzantine Environments.	SRDS	2001	DBLP DOI BibTeX RDF	FT Algorithms, FT Communication, Security
1	Alexander B. Romanovsky	Looking Ahead in Atomic Actions with Exception Handling.	SRDS	2001	DBLP DOI BibTeX RDF
1	Matthew Chiramal	Application of Commercial-Grade Digital Equipment in Nuclear Power Plant Safety Systems.	SRDS	2001	DBLP DOI BibTeX RDF
1	Svend Frølund, Fernando Pedone	Continental Pronto.	SRDS	2001	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Martin Hiller, Neeraj Suri	Assessing Inter-Modular Error Propagation in Distributed Software.	SRDS	2001	DBLP DOI BibTeX RDF
1	Zheng Zhang 0001, Christos T. Karamanolis	Designing a Robust Namespace for Distributed File Services.	SRDS	2001	DBLP DOI BibTeX RDF
1	Guohong Cao, Chita R. Das	On the Effectiveness of a Counter-Based Cache Invalidation Scheme and Its Resiliency to Failures in Mobile Environments.	SRDS	2001	DBLP DOI BibTeX RDF
1		20th Symposium on Reliable Distributed Systems (SRDS 2001), 28-31 October 2001, New Orleans, LA, USA	SRDS	2001	DBLP BibTeX RDF
1	Taesoon Park, Namyoon Woo, Heon Young Yeom	Efficient Recovery Information Management Schemes for the Fault Tolerant Mobile Computing Systems.	SRDS	2001	DBLP DOI BibTeX RDF
1	Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy	Performance Analysis of the CORBA Notification Service .	SRDS	2001	DBLP DOI BibTeX RDF
1	Uwe Brinkschulte, Aurelie Bechina, Florentin Picioroaga, Etienne Schneider, Theo Ungerer, Jochen Kreuzinger, Matthias Pfeffer	A Microkernel Middleware Architecture for Distributed Embedded Real-Time Systems.	SRDS	2001	DBLP DOI BibTeX RDF
1	António Casimiro, Paulo Veríssimo	Using the Timely Computing Base for Dependable QoS Adaptation.	SRDS	2001	DBLP DOI BibTeX RDF
1	Rui Oliveira 0001, José Pereira 0001, André Schiper	Primary-Backup Replication: From a Time-Free Protocol to a Time-Based Implementation.	SRDS	2001	DBLP DOI BibTeX RDF
1	Péter Urbán, Xavier Défago, André Schiper	Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be?.	SRDS	2001	DBLP DOI BibTeX RDF
1	Petr Kouznetsov, Rachid Guerraoui, Sidath B. Handurukande, Anne-Marie Kermarrec	Reducing Noise in Gossip-Based Reliable Broadcast.	SRDS	2001	DBLP DOI BibTeX RDF
1	Stefan Schemmer, Edgar Nett, Michael Mock	Reliable Real-Time Cooperation of Mobile Autonomous Systems.	SRDS	2001	DBLP DOI BibTeX RDF
1	Joseph Betser	The Challenge of Creating Productive Collaborating Information Assurance Communities via Internet Research and Standards.	SRDS	2001	DBLP DOI BibTeX RDF
1	Christof Fetzer, Zhen Xiao	Detecting Heap Smashing Attacks through Fault Containment Wrappers.	SRDS	2001	DBLP DOI BibTeX RDF
1	Mukesh Singhal	Research in High-Confidence Distributed Information Systems.	SRDS	2001	DBLP DOI BibTeX RDF
1	Bettina Weiss, Ulrich Schmid 0001	Consensus with Written Messages Under Link Faults.	SRDS	2001	DBLP DOI BibTeX RDF	written messages, authentication, fault models, consensus, Byzantine agreement, Fault-tolerant distributed systems, link faults
1	Shambhu J. Upadhyaya, Ramkumar Chinchani, Kevin A. Kwiat	An Analytical Framework for Reasoning about Intrusions.	SRDS	2001	DBLP DOI BibTeX RDF
1	Farokh B. Bastani	High-Quality Customizable Embedded Software from COTS Components.	SRDS	2001	DBLP DOI BibTeX RDF
1	Anjali Bhargava, Bharat K. Bhargava	Applying Fault-Tolerance Principles to Security Research.	SRDS	2001	DBLP DOI BibTeX RDF
1	Jeffrey M. Voas	Why Is It So Hard to Predict Software System Trustworthiness from Software Component Trustworthiness?.	SRDS	2001	DBLP DOI BibTeX RDF
1	K. H. Kim	Incorporation of Security and Fault Tolerance Mechanisms into Real-Time Component-Based Distributed Computing Systems.	SRDS	2001	DBLP DOI BibTeX RDF
1	Bin Yao, W. Kent Fuchs	Message Logging Optimization for Wireless Networks.	SRDS	2001	DBLP DOI BibTeX RDF
1	Christine Morin, Renaud Lottiaux, Anne-Marie Kermarrec	High Availability of the Memory Hierarchy in a Cluster.	SRDS	2000	DBLP DOI BibTeX RDF
1	Günther Bauer 0001, Michael Paulitsch	An Investigation of Membership and Clique Avoidance in TTP/C.	SRDS	2000	DBLP DOI BibTeX RDF
1	Michael Mock, Reiner Frings, Edgar Nett, Spiro Trikaliotis	Continuous Clock Synchronization in Wireless Real-Time Applications.	SRDS	2000	DBLP DOI BibTeX RDF
1	Françoise André, Anne-Marie Kermarrec, Frederic Le Mouel	Improvement of the QoS via an Adaptive and Dynamic Distribution of Applications in a Mobile Environment.	SRDS	2000	DBLP DOI BibTeX RDF
1	Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	On the Use of Model Checking Techniques for Dependability Evaluation.	SRDS	2000	DBLP DOI BibTeX RDF
1	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Sergio Arévalo	Deterministic Scheduling for Transactional Multithreaded Replicas.	SRDS	2000	DBLP DOI BibTeX RDF
1	Jeremy B. Sussman, Idit Keidar, Keith Marzullo	Optimistic Virtual Synchrony.	SRDS	2000	DBLP DOI BibTeX RDF
1	Mikel Larrea, Antonio Fernández 0001, Sergio Arévalo	Optimal Implementation of the Weakest Failure Detector for Solving Consensus.	SRDS	2000	DBLP DOI BibTeX RDF
1	Matthias Wiesmann, André Schiper, Fernando Pedone, Bettina Kemme, Gustavo Alonso	Database Replication Techniques: A Three Parameter Classification.	SRDS	2000	DBLP DOI BibTeX RDF
1	JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi	Using Multicast Communication to Reduce Deadlock in Replicated Databases.	SRDS	2000	DBLP DOI BibTeX RDF
1	Felix C. Gärtner, Sven Kloppenburg	Consistent Detection of Global Predicates under a Weak Fault Assumption.	SRDS	2000	DBLP DOI BibTeX RDF
1	Fernando Pedone, Svend Frølund	Pronto: A Fast Failover Protocol for Off-the-shelf Commercial Databases.	SRDS	2000	DBLP DOI BibTeX RDF
1		19th IEEE Symposium on Reliable Distributed Systems, SRDS'00, Nürnberg, Germany, October 16-18, 2000, Proceedings	SRDS	2000	DBLP BibTeX RDF
1	K. H. Kim	Issues Insufficiently Resolved in Century 20 in the Fault-Tolerant Distributed Computing Field.	SRDS	2000	DBLP DOI BibTeX RDF	abort, reliability, real time, distributed computing, replication, availability, transaction, object, detection, recovery, fault, tolerance, network surveillance
1	Bin Yao, W. Kent Fuchs	Proxy-based Recovery for Applications on Wireless Hand-held Devices.	SRDS	2000	DBLP DOI BibTeX RDF
1	Assia Doudou, Rachid Guerraoui, Benoît Garbinato	Abstractions for Devising Byzantine-Resilient State Machine Replication.	SRDS	2000	DBLP DOI BibTeX RDF
1	Svend Frølund, Rachid Guerraoui	A Pragmatic Implementation of e-Transactions.	SRDS	2000	DBLP DOI BibTeX RDF
1	Ramesh Chandra, Michel Cukier, Ryan M. Lefever, William H. Sanders	Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector.	SRDS	2000	DBLP DOI BibTeX RDF	Measure language, Statistical measure estimation, Validation, Fault injection, Dependable distributed systems
1	Marc-Olivier Killijian, Jean-Charles Fabre	Implementing a Reflective Fault-Tolerant CORBA System.	SRDS	2000	DBLP DOI BibTeX RDF
1	Romain Boichat, Rachid Guerraoui	Reliable Broadcast in the Crash-Recovery Model.	SRDS	2000	DBLP DOI BibTeX RDF
1	Ugur Çetintemel, Peter J. Keleher	Performance of Mobile, Single-Object, Replication Protocols.	SRDS	2000	DBLP DOI BibTeX RDF
1	Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy	Performance Analysis of the CORBA Event Service using Stochastic Reward Nets.	SRDS	2000	DBLP DOI BibTeX RDF
1	José Pereira 0001, Rui Oliveira 0001, Luís E. T. Rodrigues	Semantically Reliable Multicast Protocols.	SRDS	2000	DBLP DOI BibTeX RDF
1	Jerzy Brzezinski, Michal Sajkowski	Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure.	SRDS	2000	DBLP DOI BibTeX RDF
1	Mourad Elhadef, Béchir el Ayeb	An Evolutionary Algorithm for Identifying Faults in t-Diagnosable Systems.	SRDS	2000	DBLP DOI BibTeX RDF
1	Stefan Pleisch, André Schiper	Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems.	SRDS	2000	DBLP DOI BibTeX RDF
1	Lau Cheuk Lung, Joni da Silva Fraga, Jean-Marie Farines, Michael Ogg, Aleta Ricciardi	CosNamingFT - A Fault-Tolerant CORBA Naming Service.	SRDS	1999	DBLP DOI BibTeX RDF	fault-tolerant, CORBA, open systems, naming service
1	Soojung Lee, Yoonjoon Lee	A Distributed Algorithm for Deadlock Detection under OR-request Model.	SRDS	1999	DBLP DOI BibTeX RDF
1	Fabio Panzieri, Santosh K. Shrivastava	On the Provision of Replicated Internet Auction Services.	SRDS	1999	DBLP DOI BibTeX RDF
1	Goutham Karumanchi, Srinivasan Muralidharan, Ravi Prakash 0001	Information Dissemination in Partitionable Mobile Ad Hoc Networks.	SRDS	1999	DBLP DOI BibTeX RDF
1	Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith	Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications.	SRDS	1999	DBLP DOI BibTeX RDF
1	Robert C. B. Cooper	Reliability of Future Telephone Networks.	SRDS	1999	DBLP DOI BibTeX RDF
1	Alexey Vaysburd	Fault Tolerance in Three-Tier Applications: Focusing on the Database Tier.	SRDS	1999	DBLP DOI BibTeX RDF
1	Yoshitake Shinkai, Yoshihiro Tsuchiya, Takeo Murakami, Jim Williams	HAMFS File System.	SRDS	1999	DBLP DOI BibTeX RDF
1	Klaus Schossmaier, Bettina Weiss	An Algorithm for Fault-Tolerant Clock State and Rate Synchronization.	SRDS	1999	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Hugues Fauconnier	Real-Time Fault-Tolerant Atomic Broadcast.	SRDS	1999	DBLP DOI BibTeX RDF	real-time distributed algorithms, fault-tolerance, atomic broadcast, partial synchrony
1	JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi	Database Replication: If You Must be Lazy, be Consistent.	SRDS	1999	DBLP DOI BibTeX RDF
1	Mangesh Kasbekar, Chita R. Das, Shalini Yajnik, Reinhard Klemm, Yennun Huang	Issues in the Design of a Reflective Library for Checkpointing C++ Objects.	SRDS	1999	DBLP DOI BibTeX RDF
1	José Carlos Campelo, Francisco Rodríguez 0003, Pedro J. Gil, Juan José Serrano	Design and Validation of a Distributed Industrial Control System's Nodes.	SRDS	1999	DBLP DOI BibTeX RDF
1	Paul Couderc, Anne-Marie Kermarrec	Improving Level of Service for Mobile Users using Context-Awareness.	SRDS	1999	DBLP DOI BibTeX RDF
1	Dahlia Malkhi, Yishay Mansour, Michael K. Reiter	On Diffusing Updates in a Byzantine Environment.	SRDS	1999	DBLP DOI BibTeX RDF
1	M. Kalyanakrishnam, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Failure Data Analysis of a LAN of Windows NT based Computers.	SRDS	1999	DBLP DOI BibTeX RDF
1	Giuseppe Anastasi, Alberto Bartoli, Francesco Spadoni	Group Multicast in Distributed Mobile Systems with Unreliable Wireless Network.	SRDS	1999	DBLP DOI BibTeX RDF
1	Ann-Byrd Platt	The Usability Risk.	SRDS	1999	DBLP DOI BibTeX RDF
1	Eugene Gendelman, Lubomir Bic, Michael B. Dillencourt	An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels.	SRDS	1999	DBLP DOI BibTeX RDF
1	Michel Hurfin, Raimundo A. Macêdo, Michel Raynal, Frederic Tronel	A General Framework to Solve Agreement Problems.	SRDS	1999	DBLP DOI BibTeX RDF
1	Angkul Kongmunvattana, Nian-Feng Tzeng	Logging and Recovery in Adaptive Software Distributed Shared Memory Systems.	SRDS	1999	DBLP DOI BibTeX RDF
1	Aad P. A. van Moorsel	The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA.	SRDS	1999	DBLP DOI BibTeX RDF
1	Sebastian Staamann, Uwe G. Wilhelm	Workshop on Electronic Commerce - Foreword.	SRDS	1999	DBLP DOI BibTeX RDF
1	Ting Liu, Zbigniew Kalbarczyk, Ravishankar K. Iyer	A Software Multilevel Fault Injection Mechanism: Case Study Evaluating the Virtual Interface Architecture.	SRDS	1999	DBLP DOI BibTeX RDF
1	Ulrich Fiedler, Bernhard Plattner, Gustavo Alonso	Quality of Service in Business-to-Business E-Commerce Applications.	SRDS	1999	DBLP DOI BibTeX RDF
1	Michel Cukier, Ramesh Chandra, David Henke, Jessica Pistole, William H. Sanders	Fault Injection based on a Partial View of the Global State of a Distributed System.	SRDS	1999	DBLP DOI BibTeX RDF

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