Dependable Computing


Download Dependable Computing PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Dependable Computing book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.

Download

Dependable Computing


Dependable Computing

Author: Carlos Alberto Maziero

language: en

Publisher: Springer Science & Business Media

Release Date: 2005-10-11


DOWNLOAD





This book constitutes the refereed proceedings of the Second Latin-American Symposium on Dependable Computing, LADC 2005, held in Salvador, Brazil, in October 2005. The 16 revised full papers presented together with 3 invited talks, and outlines of 2 workshops and 3 tutorials, were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.

Dependable Computing


Dependable Computing

Author: Rogério le Lemos

language: en

Publisher: Springer

Release Date: 2003-10-02


DOWNLOAD





This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003. The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation. The papers are organized in topical sections on fault injection, security, adaptive fault tolerance, distributed algorithms, and components and fault tolerance.

Dependable Computing


Dependable Computing

Author: Andrea Bondavalli

language: en

Publisher: Springer Science & Business Media

Release Date: 2007-09-12


DOWNLOAD





This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007. The 14 revised full papers presented together with 2 invited talks, and outlines of 3 tutorials and 2 panel sessions, were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security.