


default search action
5th LADC 2011: São José dos Campos, Brazil
- 5th Latin-American Symposium on Dependable Computing, LADC 2011, São José dos Campos, Brazil, 25-29 April 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4320-8
Invited Lecture
- Hermann Kopetz:
GENESYS - A Cross-Domain Architecture for Dependable Embedded Systems. 1-6
Distributed Algorithms
- Fernando Pedone
, Nicolas Schiper, José Enrique Armendáriz-Iñigo
:
Byzantine Fault-Tolerant Deferred Update Replication. 7-16 - Damien Imbs, Michel Raynal:
A Simple Snapshot Algorithm for Multicore Systems. 17-24 - Mathieu Valero, Luciana Arantes, Maria Potop-Butucaru, Pierre Sens:
Enhancing Fault Tolerance of Distributed R-Tree. 25-34
Security
- Luís T. A. N. Brandão
, Alysson Neves Bessani
:
On the Reliability and Availability of Systems Tolerant to Stealth Intrusion. 35-44 - Anderson Nunes Paiva Morais, Ana R. Cavalli
:
Detection of Attacks in Wireless Mesh Networks. 45-54 - Naaliel Mendes, João Durães
, Henrique Madeira
:
Benchmarking the Security of Web Serving Systems Based on Known Vulnerabilities. 55-64
Diagnosis and System Dependability
- Andréa Weber, Alexander Robert Kutzke, Stefano Chessa
:
Energy-Aware Test Connection Assignment for the Diagnosis of a Wireless Sensor Network. 65-73 - Marcus Vinicius Azevedo, André Felipe Almeida Monteiro, Alexandre Sztajnberg:
Resource Optimization and Energy Saving in Clusters Using Virtualization. 74-83 - Douglas Siqueira Leite, Cecília Mary Fischer Rubira
, Fernando Castor
:
Exception Handling for Service Component Architectures. 84-93
Fault Injection: Practical Experience Reports and Tool
- Jesus Friginal
, David de Andrés, Juan-Carlos Ruiz-Garcia
, Pedro J. Gil:
On Selecting Representative Faultloads to Guide the Evaluation of Ad Hoc Networks. 94-99 - Jean Arlat, Regina Moraes
:
Collecting, Analyzing and Archiving Results from Fault Injection Experiments. 100-105 - Bruno Pacheco Sanches, Tânia Basso, Regina Moraes
:
J-SWFIT: A Java Software Fault Injection Tool. 106-115
Software Dependability: Assessment and Verification
- Andrea Ceccarelli
, Lorenzo Vinerbi, Lorenzo Falai, Andrea Bondavalli
:
RACME: A Framework to Support V&V and Certification. 116-125 - Domenico Cotroneo, Antonio Pecchia, Roberto Pietrantuono
, Stefano Russo
:
Architecture-Based Criticality Assessment of Software Systems. 126-135 - Jeferson Ferreira
, Eliane Martins, Cecília M. F. Rubira
, Patrick Henrique da Silva Brito:
Validation of Exception Handling in the Development of Dependable Component-Based Software Systems. 136-145
Distributed Systems
- Raimundo José de Araújo Macêdo
, Allan Edgard Silva Freitas, Alirio Santos de Sá:
A Self-Manageable Group Communication Protocol for Partially Synchronous Distributed Systems. 146-155 - Alan Massaru Nakai, Edmundo Roberto Mauro Madeira
, Luiz Eduardo Buzato:
Load Balancing for Internet Distributed Services Using Limited Redirection Rates. 156-165 - Fatemeh Borran, Martin Hutle, André Schiper:
Timing Analysis of Leader-Based and Decentralized Byzantine Consensus Algorithms. 166-175

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.