You might also like

More about Dependable Computing for Critical Applications 4

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

This book contains articles accepted for presentation at the 4th IFIP Working Conference on Dependable Computing for Critical Applications. 21 papers selected from a total of 95 submitted articles address all aspects of dependability, a broad term defined as the degree of trust that may justifiably be placed in a system s reliability, availability, safety, security and performance.§The presentations aim to contribute to a unified understanding and integration of these concepts, so future computer based systems will indeed be more dependable.§In addition contributions to three panel sessions are included: The first, entitled "Formal Methods for Safety in Critical Systems explored the role of formal methods in specifying and assessing system safety; the second, entitled "Qualitative versus Quantitative Assessment of Security? debated the role that methods based on mathematical logic and stochastic techniques ought to play in assessing system security; and the third entitled "Common Techniques for Fault-tolerance and Security explored techniques that are useful for attaining both fault-tolerance and security.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

• Full title: Dependable Computing for Critical Applications 4
• Author: Flaviu Cristian, Gerard LeLann, Teresa Lunt
• Language: English
• Binding: Paperback
• Number of pages: 499
• EAN: 9783709193983
• ISBN: 3709193982
• ID: 02119173
• Publisher: Springer Verlag GmbH
• Weight: 887 g
• Dimensions: 244 × 170 × 28 mm
• Date of publishing: 12. February 2012

Trending among others

---

---

---