Ditemukan 349 dokumen yang sesuai dengan query
Krogstie, John, author
This book introduces and describes in detail the SEQUAL framework for understanding the quality of models and modeling languages, including the numerous specializations of the generic framework, and the various ways in which this can be used for different applications. Topics and features : contains case studies, chapter summaries, review...
London: Springer-Verlag , 2012
e20407582
eBooks Universitas Indonesia Library
Lundin, Per, author
This book reviews the shift in the historiography of computing from inventors and innovations to a user-perspective, and examines how the relevant sources can be created, collected, preserved, and disseminated. The text describes and evaluates a project in Sweden that documented the stories of around 700 people. The book also...
London: Springer-Verlag, 2012
e20407907
eBooks Universitas Indonesia Library
Viterbo, Joss, author
Decentralized reasoning in ambient intelligence proposes a decentralized reasoning approach for performing rule-based reasoning about context data targeting AmI systems. For this purpose, the authors define a context model assuming context data distributed over two sides, the user side, represented by the users and their mobile devices, and the ambient...
London: Springer, 2012
e20407913
eBooks Universitas Indonesia Library
Marquezan, Clarissa Cassales, author
The authors explore the issues behind the joint use of self-* properties and P2P, and present: a survey relating autonomic computing and self-* properties, P2P, and network and service management, the design of solutions that explore parallel and cooperative behavior of management peers, the change in angle of network management...
London: Springer, 2012
e20408172
eBooks Universitas Indonesia Library
Robert B. France, editor
This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical...
Berlin: [, Springer-Verlag ], 2012
e20408615
eBooks Universitas Indonesia Library
Reichert, Manfred, author
With this book, Reichert and Weber address these flexibility needs and provide an overview of PAIS with a strong focus on methods and technologies fostering flexibility for all phases of the process lifecycle (i.e., modeling, configuration, execution and evolution). Their presentation is divided into six parts. Part I starts with...
Berlin: [, Springer-Verlag], 2012
e20409215
eBooks Universitas Indonesia Library
Durand-Lose, Jerome
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Unconventional Computation, UC 2012, held in Orléans, France, during September 3-7, 2012. The 28 revised full papers presented were carefully selected from numerous submissions. Conference papers are organized in 4 technical sessions, covering topics of hypercomputation,...
Berlin: Springer-Verlag, 2012
e20409418
eBooks Universitas Indonesia Library
Vos, Alexis De, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects...
Berlin: [Springer-Verlag, ], 2012
e20409504
eBooks Universitas Indonesia Library
Nicolas Beldiceanu, editor
The 26 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers are focused on both theoretical and practical, application-oriented issues in combinatorial optimization and feature current research with a special focus on inference and relaxation methods, integration methods, modeling methods, innovative applications of CP/AI/OR techniques,...
Berlin: [, Springer-Verlag], 2012
e20409717
eBooks Universitas Indonesia Library
Wodczak, Michal, author
Cooperative transmission aims to improve the reliability of wireless mobile communications through the use of diversity provided by additional relays assisting in the transmission between the source and destination nodes. This is possible as the rationale behind spatio-temporal processing can be easily mapped onto networked systems. Autonomic Cooperative Networking studies...
New York: Springer, 2012
e20409946
eBooks Universitas Indonesia Library
