This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Continue reading
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
Continue reading
Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...
Continue reading
The introduction of the Mercedes-Benz Production System (MPS) is exemplary of a trend within the automotive industry: the ...
Continue readingThis book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central ...
Continue reading
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop ...
Continue reading
th This volume presents the proceedings of the 9 IFIP/IEEE International Conference on Management of Multimedia and Mobile ...
Continue reading
th This volume presents the proceedings of the 6 IEEE International Workshop on IP Operations and Management (IPOM 2006), ...
Continue reading
This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ...
Continue reading
This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...
Continue readingThis book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles ...
Continue reading
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...
Continue reading
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
Continue reading
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
Continue reading
This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. ...
Continue reading
Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and ...
Continue reading
Avalanches, debris, mudflows and landslides are common and natural phenomena that occur worldwide, predominantly in mountainous ...
Continue reading
We are living in the age of the superhero and we cannot deny it. 'Avengers Assemble!' is a vibrant and theoretically informed ...
Continue reading
This book is concerned with hierarchical control of manufacturing systems under uncertainty. It focuses on system performance ...
Continue readingThis book provides a view into the state-of-the-art research on aviation noise and related annoyance. The book will primarily ...
Continue reading