Description
Advances in Computers
Dependable and Secure Systems Engineering
Author: HURSON Ali
Language: EnglishSubjects for Advances in Computers:
Keywords
Assessment based on analytical modeling; Assessment based on measurement; Availability; COTS; Dependability assessment; Dependability benchmarking; Dependable cloud infrastructure; Dependable software/hardware systems; Engineering complex systems; Engineering dependable systems; Event sequence graph; Event-based modeling; Fault detection; Fault modeling; Finite state machine; Hierarchical modeling; Markov chains; Markov reward model; Performability; Performance; Regular expression; Regular grammar; Risk; Secure and reliable systems; Stochastic reward net
208 p. · 15x22.8 cm · Hardback
Description
/li>Contents
/li>Readership
/li>Comment
/li>
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field.
- Combining Performance and Availability Analysis in Practice
- Modeling, Analysis and Testing of System Vulnerabilities
- System Dependability — Characterization and Benchmarking
- Pragmatic Directions in Engineering Secure Dependable Systems M. Farrukh Khan and Raymond A. Paul
Kishor Trivedi, Ermeson Andrade and Fumio Machida.
Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur and Nimal Nissanke
Yves Crouzet and Karama Kanoun
- In-depth surveys and tutorials on new computer technology
- Well-known authors and researchers in the field
- Extensive bibliographies with most chapters
- Many of the volumes are devoted to single themes or subfields of computer science