Abstract is missing.
- Joint Panel - IPDS and Workshop on Dependability BenchmarkingRavishankar K. Iyer, Zbigniew Kalbarczyk, Philip Koopman, Henrique Madeira, Gunter Heiner, Karama Kanoun, Haim Levendel, Brendan Murphy, Lawrence G. Votta, Don Wilson.
- Exactly-once Delivery in a Content-based Publish-Subscribe SystemSumeer Bhola, Robert E. Strom, Saurabh Bagchi, Yuanyuan Zhao, Joshua S. Auerbach. 7-16 [doi]
- An Adaptive Framework for Tunable Consistency and Timeliness Using ReplicationSudha Krishnamurthy, William H. Sanders, Michel Cukier. 17-26 [doi]
- Generic Timing Fault Tolerance using a Timely Computing BaseAntonio Casimiro, Paulo Veríssimo. 27-38 [doi]
- Lessons Learned in Building a Fault-Tolerant CORBA SystemPriya Narasimhan, Louise E. Moser, P. M. Melliar-Smith. 39-44 [doi]
- Model Checking Safety Properties of Servo-Loop Control SystemsM. Edwin Johnson. 45-50 [doi]
- Formal Development of an Embedded Verifier for Java Card Byte CodeLudovic Casset, Lilian Burdy, Antoine Requet. 51-58 [doi]
- Detection of Invalid Routing Announcement in the InternetXiaoliang Zhao, Dan Pei, Lan Wang, Daniel Massey, Allison Mankin, Shyhtsun Felix Wu, Lixia Zhang. 59-68 [doi]
- An Adaptive Architecture for Monitoring and Failure Analysis of High-Speed NetworksB. Floering, B. Brothers, Zbigniew Kalbarczyk, Ravishankar K. Iyer. 69-78 [doi]
- Edge-Based Fault Detection in a DiffServ NetworkAaron Striegel, G. Manimaran. 79-88 [doi]
- An Evaluation of Connectivity in Mobile Wireless Ad Hoc NetworksPaolo Santi, Douglas M. Blough. 89-102 [doi]
- Model Checking Performability PropertiesBoudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier. 103-112 [doi]
- Process Modelling to Support Dependability ArgumentsRobin E. Bloomfield, Sofia Guerra. 113-122 [doi]
- On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control SystemsJoão Carlos Cunha, Mário Zenha Rela. 123-134 [doi]
- On the Placement of Software Mechanisms for Detection of Data ErrorsMartin Hiller, Arshad Jhumka, Neeraj Suri. 135-144 [doi]
- Robust Software - No More ExcusesJohn DeVale, Philip Koopman. 145-154 [doi]
- An Automated Approach to Increasing the Robustness of C LibrariesChristof Fetzer, Zhen Xiao. 155-166 [doi]
- Secure Intrusion-tolerant Replication on the InternetChristian Cachin, Jonathan A. Poritz. 167-176 [doi]
- Coordination of Mobile Processes with Mobile GroupsRaimundo José de Araújo Macêdo, Flávio Morais de Assis Silva. 177-186 [doi]
- Optimizing Buffer Management for Reliable MulticastZhen Xiao, Kenneth P. Birman, Robbert van Renesse. 187-198 [doi]
- Reliability and Survivability in the Reduced Ship?s Crew by Virtual Presence SystemGary Schwartz. 199-204 [doi]
- Impact of Deep Submicron Technology on Dependability of VLSI CircuitsCristian Constantinescu. 205-209 [doi]
- Experimental Evaluation of Time-redundant Execution for a Brake-by-wire ApplicationJoakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson. 210-218 [doi]
- Masquerade Detection Using Truncated Command LinesRoy A. Maxion, Tahlia N. Townsend. 219-228 [doi]
- Quantifying the Cost of Providing Intrusion Tolerance in Group Communication SystemsHariGovind V. Ramasamy, Prashant Pandey, James Lyons, Michel Cukier, William H. Sanders. 229-238 [doi]
- Developing a Heterogeneous Intrusion Tolerant CORBA SystemDavid Sames, Brian Matt, Brian Niebuhr, Gregg Tally, Brent Whitmore, David E. Bakken. 239-248 [doi]
- Distributed Object Middleware to Support Dependable Information Sharing between OrganisationsNick Cook, Santosh K. Shrivastava, Stuart M. Wheater. 249-262 [doi]
- Dependability and the Grid: Issues and ChallengesRichard D. Schlichting, Andrew A. Chien, Carl Kesselman, Keith Marzullo, James S. Plank, Santosh K. Shrivastava. 263-266 [doi]
- MAFALDA-RT: A Tool for Dependability Assassment of Real-Time SystemsManuel Rodríguez, Arnaud Albinet, Jean Arlat. 267-272 [doi]
- Mr. Fusion: A Programmable Data Fusion Middleware Subsystem with a Tunable Statistical Profiling ServiceAndy A. Franz, Radek Mista, David E. Bakken, Curtis E. Dyreson, Muralidhar Medidi. 273-278 [doi]
- A Dependable SNMP-based Tool for Distributed Network ManagementElias Procópio Duarte Jr., Luis Carlos Erpen De Bona. 279-284 [doi]
- The Design and Implementation of an Intrusion Tolerant SystemJames C. Reynolds, James E. Just, Ed Lawson, Larry A. Clough, Ryan Maglich, Karl N. Levitt. 285-292 [doi]
- Reducing the Cost of Group Communication with Semantic View SynchronyJosé Orlando Pereira, Luís Rodrigues, Rui Carlos Oliveira. 293-302 [doi]
- SWIM: Scalable Weakly-consistent Infection-style Process Group Membership ProtocolAbhinandan Das, Indranil Gupta, Ashish Motivala. 303-312 [doi]
- Probabilistic MulticastPatrick Th. Eugster, Rachid Guerraoui. 313-324 [doi]
- Experimental Evaluation of a COTS System for Space ApplicationHenrique Madeira, Raphael R. Some, Francisco Moreira, Diamantino Costa, David A. Rennels. 325-330 [doi]
- Experimental Analysis of the Errors Induced into Linux by Three Fault Injection TechniquesTahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun. 331-336 [doi]
- Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation SystemDong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora. 337-344 [doi]
- A Realistic Look At Failure DetectorsCarole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui. 345-353 [doi]
- Implementation and Performance Evaluation of an Adaptable Failure DetectorMarin Bertier, Olivier Marin, Pierre Sens. 354-363 [doi]
- A Versatile and Modular Consensus ProtocoAchour Mostéfaoui, Sergio Rajsbaum, Michel Raynal. 364-373 [doi]
- Small Byzantine Quorum SystemsJean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin. 374-388 [doi]
- Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational LogicPremkishore Shivakumar, Michael Kistler, Stephen W. Keckler, Doug Burger, Lorenzo Alvisi. 389-398 [doi]
- Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex SystemsMarkus Jochim. 399-408 [doi]
- A Portable and Fault-Tolerant Microprocessor Based on the SPARC V8 ArchitectureJiri Gaisler. 409-415 [doi]
- Soft Error Sensitivity Characterization for Microprocessor Dependability Enhancement StrategySeongwoo Kim, Arun K. Somani. 416-428 [doi]
- Track-Based Disk LoggingTzi-cker Chiueh, Lan Huang. 429-438 [doi]
- Transactional Rollback for Language-Based SystemsAlgis Rudys, Dan S. Wallach. 439-448 [doi]
- Time-Constrained Failure Diagnosis in Distributed Embedded SystemsNagarajan Kandasamy, John P. Hayes, Brian T. Murray. 449-458 [doi]
- 32-Bit Cyclic Redundancy Codes for Internet ApplicationsPhilip Koopman. 459-472 [doi]
- Measuring End-User Availability on the Web: Practical ExperienceMatthew Merzbacher, Dan Patterson. 473-477 [doi]
- Advanced Pattern Recognition for Detection of Complex Software Aging Phenomena in Online Transaction Processing ServersKaren J. Cassidy, Kenny C. Gross, Amir Malekpour. 478-482 [doi]
- Jaca: A Reflective Fault Injection Tool Based on PatternsEliane Martins, Cecília M. F. Rubira, Nelson G. M. Leme. 483-482 [doi]
- Automatic Generation of Availability Models in RAScadDong Tang, Ji Zhu, Roy Andrada. 488-494 [doi]
- Evaluating the Security Threat of Firewall Data Corruption Caused by Transient ErrorsShuo Chen, Jun Xu, Ravishankar K. Iyer, Keith Whisnant. 495-504 [doi]
- Modeling and Quantification of Security Attributes of Software SystemsBharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi. 505-514 [doi]
- Stepwise Construction and Refinement of Dependability ModelsCláudia Betous-Almeida, Karama Kanoun. 515-524 [doi]
- Ditto ProcessorShih-Chang Lai, Shih-Lien Lu, Jih-Kwon Peir. 525-536 [doi]
- CAVEAT : A Tool for Software ValidationPatrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, N. Williams. 537-537 [doi]
- CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software ProgramsAdriana Carloganu, Jacques Raguideau. 538 [doi]
- C-Sim - The C Language Enhancement for Discrete-Time SimulationsJan Hlavicka, Stanislav Racek. 539 [doi]
- DrawNet++: A Flexible Framework for Building Dependability ModelsGiuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello. 540 [doi]
- Libsafe: Transparent System-wide Protection Against Buffer Overflow AttacksTimothy K. Tsai, Navjot Singh. 541 [doi]
- NFTAPE: Networked Fault Tolerance and Performance EvaluatorDavid T. Stott, Phillip H. Jones III, M. Hamman, Zbigniew Kalbarczyk, Ravishankar K. Iyer. 542 [doi]
- PhFit: A General Phase-type Fitting ToolAndrea Bobbio, András Horváth, Miklós Telek. 543 [doi]
- SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance EvaluatorKishor S. Trivedi. 544 [doi]
- SMART: Stochastic Model-checking Analyzer for Reliability and TimingGianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu. 545 [doi]
- SREPT: A Tool for Software Reliability Estimation and PredictionKishor S. Trivedi. 546 [doi]
- Xception? - Enhanced Automated Fault-Injection EnvironmentRicardo Maia, Luis Henriques, Diamantino Costa, Henrique Madeira. 547-550 [doi]
- Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and MeasurementsAndrea Coccoli, Péter Urbán, Andrea Bondavalli. 551-560 [doi]
- Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation ApproachAnn T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso. 561-570 [doi]
- A Simple Characterization of Provably Efficient Prefetching AlgorithmsWei Jin, Rakesh D. Barve, Kishor S. Trivedi. 571 [doi]
- An Experimental Evaluation of the REE SIFT Environment for Spaceborne ApplicationsKeith Whisnant, Ravishankar K. Iyer, P. Jones, Raphael R. Some, David A. Rennels. 585-594 [doi]
- Pinpoint: Problem Determination in Large, Dynamic Internet ServicesMike Y. Chen, Emre Kiciman, Eugene Fratkin, Armando Fox, Eric A. Brewer. 595-604 [doi]
- Reducing Recovery Time in a Small Recursively Restartable SystemGeorge Candea, James Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda. 605-614 [doi]
- Recovery and Performance Balance of a COTS DBMS in the Presence of Operator FaultsMarco Vieira, Henrique Madeira. 615-626 [doi]
- The Scale Factor: A New Degree of Freedom in Phase Type ApproximationAndrea Bobbio, András Horváth, Miklós Telek. 627-636 [doi]
- Efficient State Space Generation of GSPNs using Decision DiagramsAndrew S. Miner. 637-646 [doi]
- An Adaptive Decomposition Approach for the Analysis of Stochastic Petri NetsPeter Buchholz. 647-656 [doi]
- Parallel Randomization for Large Structured Markov ChainsPeter Kemper. 657-668 [doi]
- Test and Development Process Retrospective - A Case Study using ODC TriggersRam Chillarege, Kothanda Ram Prasad. 669-678 [doi]
- Impact of Fault Management Server and Its Failure-related Parameters on High-Availability Communication SystemsHairong Sun, James J. Han, Isaac Levendel. 679-686 [doi]
- Analysis of Failure and Recovery Rates in a Wireless Telecommunications SystemSteven M. Matz, Lawrence G. Votta, Mohammad Malkawi. 687-693 [doi]
- Application Performance using End-to-End User Level MonitoringSiddhartha R. Dalal, Yu-Yun Ho, Ashish Jain, Allen A. McIntosh. 694-706 [doi]
- Resource Management Policies in GPRS Wireless Internet Access SystemsMichela Meo, Marco Ajmone Marsan, Cecilia Batetta. 707-716 [doi]
- Evaluating the Impact of Different Document Types on the Performance of Web Cache Replacement SchemesChristoph Lindemann, Oliver P. Waldhorst. 717-726 [doi]
- A Validation of the Pseudo Self-Similar Traffic ModelRachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort. 727-734 [doi]
- Evaluation of the Maximum Level Reached by a Queue Over a Finite PeriodGerardo Rubino. 735-744 [doi]
- Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed SystemsOlivia Das, C. Murray Woodside. 745-754 [doi]
- Self-Organizing Systems with Self-DiagnosabilityKiyoaki Yoshida, Tohru Kohda, Yasumasa Sujaku. 755-762 [doi]
- A Compositional Approach to Monitoring Distributed SystemsMohammad Zulkernine, Rudolph E. Seviora. 763-772 [doi]
- Validation and Evaluation of a Software Solution for Fault Tolerant Distributed SynchronizationPaolo Ballarini, Simona Bernardi, Susanna Donatelli. 773-784 [doi]
- Intrusion Tolerant Systems WorkshopCarl E. Landwehr, Steven M. Bellovin. 785-786 [doi]
- Workshop on Dependability and RoboticsRaja Chatila, Jean-Claude Laprie. 787 [doi]
- Dependability of E-Commerce SystemsLisa Spainhower, Nicholas S. Bowen, Steven Hunter. 788-789 [doi]
- Workshop on Dependability BenchmarkingPhilip Koopman, Henrique Madeira. 790-791 [doi]
- Workshop on Dependable Middleware-Based SystemsPriya Narasimhan, Pascal Felber. 792-793 [doi]
- Scalable, Uniterruptible ComputinDimiter R. Avresky. 794 [doi]