This book demonstrates the simulation and animation of physical systems using the MATLAB® Virtual Reality Toolbox. Taking a problem-based approach, each chapter teaches a group of essential principles, following a step-by-step solution to a particular issue.
Social networks and virtual communities are often in the news, either being censored or facilitating academic cooperation. Here, leading researchers cover cutting-edge topics such as the requirements for effective collaboration in on-line communities.
This book details a large scale distributed video processing system. It develops an algorithm that allows parallel and distributed task processing and addresses the problems characterized by the seasonal demand for large volumes of video processing.
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.
An ideal course book for mathematics undergraduates and graduates alike, this is a complete introduction to vector analysis/ Each topic covered is given a practical application within computer graphics.
Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. While the book focuses on a sound analysis of C, it will be useful to researchers and students interested in static analysis of real-world programming languages.