Dependable Computing Systems
Paradigms, Performance Issues, and Applications
Versandkostenfrei!
Versandfertig in über 4 Wochen
194,99 €
inkl. MwSt.
PAYBACK Punkte
97 °P sammeln!
This edited volume is a repository of case studies, authored by experts and well-reputed researchers in the field. It deals with a variety of difficult problems in creating dependable computing systems.
A 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 fusion
_ Robust communications primitives
_ Fault tolerance
_ Middleware
_ Grid security
_ Dependability in IBM mainframes
_ Embedded software
_ Real-time systems
Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.
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 fusion
_ Robust communications primitives
_ Fault tolerance
_ Middleware
_ Grid security
_ Dependability in IBM mainframes
_ Embedded software
_ Real-time systems
Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.
Andere Kunden interessierten sich für
