An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verificati
Computer Organization: Basic Processor Structure is a class-tested textbook, based on the author’s decades of teaching the topic to undergraduate and beginning graduate students. The main questions th
Computer Organization: Basic Processor Structure is a class-tested textbook, based on the author’s decades of teaching the topic to undergraduate and beginning graduate students. The main questions th
The Essentials of Computer Organization and Architecture was awarded a "Textbook Excellence Award" ("Texty") in it's second, third, and fourth editions from the Text and Academic Authors Association (
"This book provides a foundation and a brief literature review on the system availability and other related concepts, as well as methods for measuring and modeling system availability, presents the fa
This easy to read textbook provides an introduction to computer architecture, while focusing on the essential aspects of hardware that programmers need to know. The topics are explained from a program
Affective Computing is a growing multidisciplinary field encompassing computer science, engineering, psychology, education, neuroscience, and many other disciplines. It explores how affective factors
"The 6th Edition of Systems Analysis and Design continues to offer a hands-on approach to SAD while focusing on the core set of skills that all analysts must possess. Building on their experience as p
Computer systems have become an important element of the world economy, with billions of dollars spent each year on development, manufacture, operation, and maintenance. Combining coverage of computer
Japanese scientists and engineers report some results so far from a seven-and-a-half-year research project that began in December 2006. They describe how to achieve dependability in open information s
The gap between who designers and developers imagine their users are, and who those users really are can be the biggest problem with product development. Observing the User Experience will help you br
As a usability specialist or interaction designer working with the government, or as a government or contractor professional involved in specifying, procuring, or managing system development, you need
The ultimate guide to UX from the world’s most popular resource for web designers and developers Smashing Magazine is the world's most popular resource for web designers and developers and w
This volume offers a multi-disciplinary foundation for investigators interested in "affective computing," which is a term was coined by Rosalind Picard in 1997. The field involves human-machine intera
The computing world today is in the middle of a revolution: mobile clients and cloud computing have emerged as the dominant paradigms driving programming and hardware innovation today. The Fifth Editi
The sixth edition of this book covers the key topics in computer organization and embedded systems. It presents hardware design principles and shows how hardware design is influenced by the requireme
Coarse-grained reconfigurable architecture (CGRA) has emerged as a solution for flexible, application-specific optimization of embedded systems. Helping you understand the issues involved in designing