default search action
DSN 2002: Washington, DC, USA
- 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. IEEE Computer Society 2002, ISBN 0-7695-1597-5
Dependable Computing and Communications
Session 1A: Distributed Systems 1
- Sumeer Bhola, Robert E. Strom, Saurabh Bagchi, Yuanyuan Zhao, Joshua S. Auerbach:
Exactly-once Delivery in a Content-based Publish-Subscribe System. 7-16 - Sudha Krishnamurthy, William H. Sanders, Michel Cukier:
An Adaptive Framework for Tunable Consistency and Timeliness Using Replication. 17-26 - António Casimiro
, Paulo Veríssimo
Generic Timing Fault Tolerance using a Timely Computing Base. 27-38
Session 1B: Practical Experience Reports 1
- Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Lessons Learned in Building a Fault-Tolerant CORBA System. 39-44 - M. Edwin Johnson:
Model Checking Safety Properties of Servo-Loop Control Systems. 45-50 - Ludovic Casset, Lilian Burdy, Antoine Requet:
Formal Development of an Embedded Verifier for Java Card Byte Code. 51-58
Session 2A: Dependable Networking
- Xiaoliang Zhao, Dan Pei
Detection of Invalid Routing Announcement in the Internet. 59-68 - Benjamin Floering, B. Brothers, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
An Adaptive Architecture for Monitoring and Failure Analysis of High-Speed Networks. 69-78 - Aaron Striegel
Edge-Based Fault Detection in a DiffServ Network. 79-88 - Paolo Santi, Douglas M. Blough:
An Evaluation of Connectivity in Mobile Wireless Ad Hoc Networks. 89-102
Session 3A: Modeling & Evaluation
- Boudewijn R. Haverkort
Model Checking Performability Properties. 103-112 - Robin E. Bloomfield, Sofia Guerra:
Process Modelling to Support Dependability Arguments. 113-122 - João Carlos Cunha
On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems. 123-134
Session 3B: Software Techniques
- Martin Hiller, Arshad Jhumka, Neeraj Suri
On the Placement of Software Mechanisms for Detection of Data Errors. 135-144 - John DeVale, Philip Koopman:
Robust Software - No More Excuses. 145-154 - Christof Fetzer, Zhen Xiao:
An Automated Approach to Increasing the Robustness of C Libraries. 155-166
Session 4A: Distributed Systems II
- Christian Cachin, Jonathan A. Poritz:
Secure Intrusion-tolerant Replication on the Internet. 167-176 - Raimundo José de Araújo Macêdo, Flávio Morais de Assis Silva:
Coordination of Mobile Processes with Mobile Groups. 177-186 - Zhen Xiao, Kenneth P. Birman, Robbert van Renesse:
Optimizing Buffer Management for Reliable Multicast. 187-198
Session 4B: Practical Experience Reports II
- Gary Schwartz:
Reliability and Survivability in the Reduced Ship?s Crew by Virtual Presence System. 199-204 - Cristian Constantinescu:
Impact of Deep Submicron Technology on Dependability of VLSI Circuits. 205-209 - Joakim Aidemark, Jonny Vinter
Experimental Evaluation of Time-redundant Execution for a Brake-by-wire Application. 210-218
Session 5A: Security & Intrusion Tolerance
- Roy A. Maxion, Tahlia N. Townsend:
Masquerade Detection Using Truncated Command Lines. 219-228 - HariGovind V. Ramasamy, Prashant Pandey, James Lyons, Michel Cukier, William H. Sanders:
Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems. 229-238 - David Sames, Brian Matt, Brian Niebuhr, Gregg Tally, Brent Whitmore, David E. Bakken:
Developing a Heterogeneous Intrusion Tolerant CORBA System. 239-248 - Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater:
Distributed Object Middleware to Support Dependable Information Sharing between Organisations. 249-262
Session 6A: Panel: Dependability and the Grid
- Richard D. Schlichting, Andrew A. Chien, Carl Kesselman, Keith Marzullo, James S. Plank, Santosh K. Shrivastava:
Dependability and the Grid: Issues and Challenges. 263-266
Session 6B: Software and System Demonstrations
- Manuel Rodríguez, Arnaud Albinet, Jean Arlat:
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. 267-272 - Andy A. Franz, Radek Mista, David E. Bakken, Curtis E. Dyreson
Mr. Fusion: A Programmable Data Fusion Middleware Subsystem with a Tunable Statistical Profiling Service. 273-278 - Elias Procópio Duarte Jr., Luis Carlos Erpen De Bona
A Dependable SNMP-based Tool for Distributed Network Management. 279-284 - James C. Reynolds, James E. Just, Ed Lawson, Larry A. Clough, Ryan Maglich, Karl N. Levitt:
The Design and Implementation of an Intrusion Tolerant System. 285-292
Session 7A: Group Communication
- José Pereira
Reducing the Cost of Group Communication with Semantic View Synchrony. 293-302 - Abhinandan Das, Indranil Gupta, Ashish Motivala:
SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol. 303-312 - Patrick Th. Eugster, Rachid Guerraoui
Probabilistic Multicast. 313-324
Session 7B: Practical Experience Reports III
- Henrique Madeira
Experimental Evaluation of a COTS System for Space Application. 325-330 - Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun:
Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. 331-336 - Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora:
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System. 337-344
Session 8A: Consensus & Failure Detectors
- Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui
A Realistic Look At Failure Detectors. 345-353 - Marin Bertier, Olivier Marin
Implementation and Performance Evaluation of an Adaptable Failure Detector. 354-363 - Achour Mostéfaoui, Sergio Rajsbaum
A Versatile and Modular Consensus Protoco. 364-373 - Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin:
Small Byzantine Quorum Systems. 374-388
Session 9A: Hardware Architecture and Design
- Premkishore Shivakumar, Michael Kistler, Stephen W. Keckler, Doug Burger, Lorenzo Alvisi:
Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic. 389-398 - Markus Jochim:
Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems. 399-408 - Jiri Gaisler:
A Portable and Fault-Tolerant Microprocessor Based on the SPARC V8 Architecture. 409-415 - Seongwoo Kim, Arun K. Somani:
Soft Error Sensitivity Characterization for Microprocessor Dependability Enhancement Strategy. 416-428
Session 9B: Detection and Correction
- Tzi-cker Chiueh, Lan Huang:
Track-Based Disk Logging. 429-438 - Algis Rudys, Dan S. Wallach:
Transactional Rollback for Language-Based Systems. 439-448 - Nagarajan Kandasamy, John P. Hayes, Brian T. Murray:
Time-Constrained Failure Diagnosis in Distributed Embedded Systems. 449-458 - Philip Koopman:
32-Bit Cyclic Redundancy Codes for Internet Applications. 459-472
International Performance and Dependability Symposium
Session 1C: IPDS Practical Experience Reports
- Matthew Merzbacher, Dan Patterson:
Measuring End-User Availability on the Web: Practical Experience. 473-477 - Karen J. Cassidy, Kenny C. Gross, Amir Malekpour:
Advanced Pattern Recognition for Detection of Complex Software Aging Phenomena in Online Transaction Processing Servers. 478-482 - Eliane Martins, Cecília M. F. Rubira
Jaca: A Reflective Fault Injection Tool Based on Patterns. 483-482 - Dong Tang, Ji Zhu, Roy Andrada:
Automatic Generation of Availability Models in RAScad. 488-494
Session 2C: Security and Fault Tolerance
- Shuo Chen, Jun Xu, Ravishankar K. Iyer, Keith Whisnant:
Evaluating the Security Threat of Firewall Data Corruption Caused by Transient Errors. 495-504 - Bharat B. Madan, Katerina Goseva-Popstojanova
Modeling and Quantification of Security Attributes of Software Systems. 505-514 - Cláudia Betous-Almeida, Karama Kanoun:
Stepwise Construction and Refinement of Dependability Models. 515-524 - Shih-Chang Lai, Shih-Lien Lu, Jih-Kwon Peir:
Ditto Processor. 525-536
Session 3C: Modeling, Simulation, and Evaluation Tools
- Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams:
CAVEAT: A Tool for Software Validation. 537 - Adriana Carloganu, Jacques Raguideau:
CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs. 538 - Jan Hlavicka, Stanislav Racek:
C-Sim - The C Language Enhancement for Discrete-Time Simulations. 539 - Giuliana Franceschinis, Marco Gribaudo
DrawNet++: A Flexible Framework for Building Dependability Models. 540 - Timothy K. Tsai, Navjot Singh:
Libsafe: Transparent System-wide Protection Against Buffer Overflow Attacks. 541 - David T. Stott, Phillip H. Jones III, M. Hamman, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
NFTAPE: Networked Fault Tolerance and Performance Evaluator. 542 - Andrea Bobbio
PhFit: A General Phase-type Fitting Tool. 543 - Kishor S. Trivedi:
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator. 544 - Gianfranco Ciardo
SMART: Stochastic Model-checking Analyzer for Reliability and Timing. 545 - Kishor S. Trivedi:
SREPT: A Tool for Software Reliability Estimation and Prediction. 546 - Ricardo Maia, Luis Henriques, Diamantino Costa, Henrique Madeira
Xception? - Enhanced Automated Fault-Injection Environment. 547-550
Session 4C: Performance and Dependability Modeling
- Andrea Coccoli, Péter Urbán, Andrea Bondavalli
Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements. 551-560 - Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso:
Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach. 561-570 - Wei Jin, Rakesh D. Barve, Kishor S. Trivedi:
A Simple Characterization of Provably Efficient Prefetching Algorithms. 571-580
Panel on Dependability Benchmarking: Methods, Techniques and Approaches
- Ravishankar K. Iyer, Zbigniew Kalbarczyk, Philip Koopman, Henrique Madeira, Gunter Heiner, Karama Kanoun, Haim Levendel, Brendan Murphy, Lawrence G. Votta, Don Wilson:
Joint Panel - IPDS and Workshop on Dependability Benchmarking. DSN 2002
Session 5C: Fault Tolerant Design and Evaluation
- Keith Whisnant, Ravishankar K. Iyer, P. Jones, Raphael R. Some, David A. Rennels:
An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications. 585-594 - Mike Y. Chen, Emre Kiciman, Eugene Fratkin, Armando Fox, Eric A. Brewer
Pinpoint: Problem Determination in Large, Dynamic Internet Services. 595-604 - George Candea, James W. Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda:
Reducing Recovery Time in a Small Recursively Restartable System. 605-614 - Marco Vieira
Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults. 615-626
Session 6C: Modeling Techniques
- Andrea Bobbio
The Scale Factor: A New Degree of Freedom in Phase Type Approximation. 627-636 - Andrew S. Miner:
Efficient State Space Generation of GSPNs using Decision Diagrams. 637-646 - Peter Buchholz
An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets. 647-656 - Peter Kemper:
Parallel Randomization for Large Structured Markov Chains. 657-668
Session 7C: Invited Industry Session: Measurements and Evaluation
- Ram Chillarege, Kothanda Ram Prasad:
Test and Development Process Retrospective - A Case Study using ODC Triggers. 669-678 - Hairong Sun, James J. Han, Isaac Levendel:
Impact of Fault Management Server and Its Failure-related Parameters on High-Availability Communication Systems. 679-686 - Steven M. Matz, Lawrence G. Votta, Mohammad Malkawi
Analysis of Failure and Recovery Rates in a Wireless Telecommunications System. 687-693 - Siddhartha R. Dalal, Yu-Yun Ho, Ashish Jain, Allen A. McIntosh:
Application Performance using End-to-End User Level Monitoring. 694-706
Session 8C: Internet Performance and Dependability
- Michela Meo
Resource Management Policies in GPRS Wireless Internet Access Systems. 707-716 - Christoph Lindemann, Oliver P. Waldhorst:
Evaluating the Impact of Different Document Types on the Performance of Web Cache Replacement Schemes. 717-726 - Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort:
A Validation of the Pseudo Self-Similar Traffic Model. 727-734 - Gerardo Rubino:
Evaluation of the Maximum Level Reached by a Queue Over a Finite Period. 735-744
Session 9C: Modeling, Measurement and Analysis of Distributed Systems
- Olivia Das, C. Murray Woodside:
Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed Systems. 745-754 - Kiyoaki Yoshida, Tohru Kohda, Yasumasa Sujaku:
Self-Organizing Systems with Self-Diagnosability. 755-762 - Mohammad Zulkernine, Rudolph E. Seviora:
A Compositional Approach to Monitoring Distributed Systems. 763-772 - Paolo Ballarini
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. 773-784
Workshops
- Carl E. Landwehr, Steven M. Bellovin:
Intrusion Tolerant Systems Workshop. 785-786 - Raja Chatila, Jean-Claude Laprie:
Workshop on Dependability and Robotics. 787 - Lisa Spainhower, Nicholas S. Bowen, Steven Hunter:
Dependability of E-Commerce Systems. 788-789 - Philip Koopman, Henrique Madeira:
Workshop on Dependability Benchmarking. 790-791 - Priya Narasimhan, Pascal Felber
Workshop on Dependable Middleware-Based Systems. 792-793 - Dimiter R. Avresky:
Scalable, Uniterruptible Computin. 794
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.
last updated on 2024-11-14 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: