


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














