This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively ...
اقرأ المزيد
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
اقرأ المزيد
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
اقرأ المزيد
This is an introductory textbook of linear programming, written mainly for students of computer science and mathematics. ...
اقرأ المزيد
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
اقرأ المزيد
The field of computer vision has developed significantly over the last several years and the application areas span a broad ...
اقرأ المزيد
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
اقرأ المزيد
This volume contains papers presented at SPW 2005, the Software Process Workshop held in Beijing, P. R. China, on May 25-27, ...
اقرأ المزيد
This volume contains the proceedings of the last ERCIM “User Interfaces for All” Workshop. The work of the ERCIM WG UI4ALL ...
اقرأ المزيد
Information Society for All (IS4ALL) is devoted to consolidating and codifying available knowledge of universal access in ...
اقرأ المزيد
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...
اقرأ المزيد
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
اقرأ المزيد
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...
اقرأ المزيد
This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
اقرأ المزيد
This will be an invaluable reference for the development of new theories and computer-based modeling techniques for solving ...
اقرأ المزيد
This book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...
اقرأ المزيدA new wave of enthusiasm for smart cities, urban data, and the Internet of Things has created the impression that computation ...
اقرأ المزيد
The papers cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use ...
اقرأ المزيد
These papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...
اقرأ المزيد
this book is based on the fact that it is the usersâ judgments that is the final measure regarding usability and acceptance ...
اقرأ المزيد