Dependable Computing Systems – Paradigms Performance Issues and Applications

Dependable Computing SystemsParadigms, Performance Issues, and Applications\nAuthor(s): Hassan B. Diab, Albert Y. Zomaya\nFormat: Hardback\nPublisher: John Wiley & Sons Inc, United States\nImprint: Wiley-Interscience\nISBN-13: 9780471674221, 978-0471674221\nSynopsis\nA team of recognized experts leads the way to dependable computing systems With computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems. The first part of the book addresses models and paradigms of dependable computing, and the second part deals with enabling technologies and applications. Tough issues in creating dependable computing systems are also tackled, including: * Verification techniques * Model-based evaluation * Adjudication and data fusi.