Mobile Information Systems
The book is divided into three parts: core technologies for mobile information systems (e.g., adaptive middleware and flexible ...
اقرأ المزيد
Model-based Process Supervision : A Bond Graph Approach
Model-based fault detection and isolation requires a mathematical model of the system behaviour. Modelling is important and ...
اقرأ المزيد
Passive Eye Monitoring : Algorithms, Applications and Experiments
This practical reference provides you a comprehensive in-depth coverage of both theory and practice of cutting-edge Passive ...
اقرأ المزيد
Process Modelling for Control
Advances in Industrial Control aims to report and encourage the transfer of technology in control engineering. The rapid ...
اقرأ المزيد
Programming Multi-Agent Systems : 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
اقرأ المزيد
RF System Design of Transceivers for Wireless Communications
In this book the author develops systematic methods for RF systems design, complete with a comprehensive set of design formulas. ...
اقرأ المزيد
Robust Control Design with MATLAB®
Robust Control Design with MATLAB® helps you learn how to use well-developed advanced robust control design methods in practical ...
اقرأ المزيد
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
اقرأ المزيد
SDL 2001: Meeting UML
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
اقرأ المزيد
Software Architecture (vol. # 3527)
This book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...
اقرأ المزيد
Systems Analysis and Design in a Changing World / John W. Satzinger, Robert B. Jackson, Stephen D. Burd
Reflecting the practices, trends, and developments from the field, this title equips you with a solid foundation of the important ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)
This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
اقرأ المزيد
Transactions on Aspect-Oriented Software Development I
This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
اقرأ المزيد
Transactions on Edutainment I
This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...
اقرأ المزيد
Universal Access in Human-Computer Interaction. Applications and Services
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
اقرأ المزيد
Wireless Optical Communication Systems
This volume is organized for professional and academic readers engaged in modem design for wireless optical intensity channels. ...
اقرأ المزيد
Wireless Transceiver Systems Design
This book illustrates true cross-disciplinary electronic system-level design with examples in algorithm-architecture co-design, ...
اقرأ المزيد
ZB 2005: Formal Specification and Development in Z and B
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
اقرأ المزيد
