Tag: Dependable

Free Download Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings By William H. Sanders (auth.), Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva (eds.)
2005 | 267 Pages | ISBN: 3540295720 | PDF | 4 MB
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.

Free Download Architecting Dependable Systems IV By Joyce L. Tokar (auth.), Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
2007 | 438 Pages | ISBN: 3540740333 | PDF | 14 MB
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006), organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006. It also contains a number of invited papers written by recognized experts in the area. The papers are organized in topical sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.

Free Download Dependable Computing: Design and Assessment (IEEE Press) by Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Nithin M. Nakka
English | May 14, 2024 | ISBN: 1118709446 | 848 pages | MOBI | 21 Mb
Dependable Computing

Free Download Holger Hermanns, "Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, Ch"
English | ISBN: 981998663X | 2024 | 452 pages | PDF | 27 MB
This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023.