default search action
1st LADC 2003: Sao Paulo, Brazil
- Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr.:
Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings. Lecture Notes in Computer Science 2847, Springer 2003, ISBN 3-540-20224-2
Invited Talks
- Karama Kanoun:
Dependability Benchmarking: How Far Are We? 1 - Eno Siewerdt:
Safety-Critical Systems in Air Traffic Management. 2-3 - Vijay Machiraju, Akhil Sahai, Aad P. A. van Moorsel:
Managed Utility Computing: The Grid as Management Backplane. 4-7
Fault Injection
- Pedro Costa, Marco Vieira, Henrique Madeira, João Gabriel Silva:
Plug and Play Fault Injector for Dependability Benchmarking. 8-22 - Pedro Yuste, Juan-Carlos Ruiz-Garcia, Lenin Lemus, Pedro J. Gil:
Non-intrusive Software-Implemented Fault Injection in Embedded Systems. 23-38 - Luís Santos, Mário Zenha Rela:
Constraints on the Use of Boundary-Scan for Fault Injection. 39-55 - Regina Lúcia de Oliveira Moraes, Eliane Martins:
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool. 56-68 - Håkan Sivencrona, Per Johannessen, Mattias Persson, Jan Torin:
Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol. 69-80
Security
- Vishu Gupta, Vinh Vi Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh:
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures. 81-101 - Emerson Ribeiro de Mello, Joni da Silva Fraga, Altair Olivo Santin, Frank Siqueira:
Building Trust Chains between CORBA Objects. 102-116 - Mauro Borchardt, Carlos Maziero, Edgard Jamhour:
An Architecture for On-the-Fly File Integrity Checking. 117-126 - Paulo César Herrmann Wanner, Raul Fernando Weber:
Fault Injection Tool for Network Security Evaluation. 127-136
Adaptive Faul Tolerance
- Henrique Madeira, João Durães, Marco Vieira:
Emulation of Software Faults: Representativeness and Usefulness. 137-159 - Marcos A. M. de Moura, Markus Endler:
Managing Adaptive Fault Tolerant CORBA Applications. 160-180 - José Lino Contreras, Jean-Louis Sourrouille:
Adaptable Objects for Dependability. 181-196 - Klaus Echtle, Irene Eusgeld:
A Genetic Algorithm for Fault-Tolerant System Design. 197-213
Distributed Algorithms
- Ricardo Marcelín-Jiménez, Sergio Rajsbaum:
Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage. 214-233 - Lásaro J. Camargos, Edmundo R. M. Madeira:
DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services. 234-253 - Raul Ceretta Nunes, Ingrid Jansch-Pôrto:
A Lightweight Interface to Predict Communication Delays Using Time Series. 254-263 - Antonio Caruso, Luiz Carlos Pessoa Albini, Piero Maestrini:
A New Diagnosis Algorithm for Regular Interconnected Structures. 264-281
Components and Fault Tolerance
- Eliane Martins, Maria de Fátima Mattiello-Francisco:
A Tool for Fault Injection and Conformance Testing of Distributed Systems. 282-302 - Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano:
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation. 303-320 - Fernando Castor Filho, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira:
An Architectural-Level Exception-Handling System for Component-Based Applications. 321-340 - Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel:
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. 341-360
Panel
- João Gabriel Silva:
Dependability Benchmarks: Can We Rely on Them? 361
Tutorials
- João Batista Camargo Jr., Rogério de Lemos:
Workshop on Safety: Computer Systems in Critical Applications. 362 - Avelino F. Zorzo, Francisco V. Brasileiro, Ingrid Jansch-Pôrto:
Second Workshop on Theses and Dissertations in Dependable Computing. 363
Tutorials
- Jan Jürjens, Siv Hilde Houmb:
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML. 364-365 - Idit Keidar, Sergio Rajsbaum:
On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial. 366-368 - Carlos A. T. Moura, Carlos Henrique Netto Lahoz, Martha A. D. Abdala:
A Practical Approach to Quality Assurance in Critical Systems. 369-370
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.