Related Books

High-assurance Design
Language: en
Pages: 704
Authors: Clifford J. Berg
Categories: Computers
Type: BOOK - Published: 2006 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

More than ever business applications need to be reliable and secure and Berg shows architects how to focus efforts where it matters.
Design and Verification of Microprocessor Systems for High-Assurance Applications
Language: en
Pages: 441
Authors: David S. Hardin
Categories: Technology & Engineering
Type: BOOK - Published: 2010-03-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense
High Assurance Services Computing
Language: en
Pages: 328
Authors: Jing Dong
Categories: Computers
Type: BOOK - Published: 2009-05-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with hi
Applications of Neural Networks in High Assurance Systems
Language: en
Pages: 255
Authors: Johann M.Ph. Schumann
Categories: Mathematics
Type: BOOK - Published: 2010-02-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass
Wiley Handbook of Science and Technology for Homeland Security, 4 Volume Set
Language: en
Pages: 2950
Authors: John G. Voeller
Categories: Science
Type: BOOK - Published: 2010-04-12 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

The Wiley Handbook of Science and Technology for Homeland Security is an essential and timely collection of resources designed to support the effective communic