Model-Based Testing of Reactive Systems
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Lee mas
Model-Driven Architecture - Foundations and Applications
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...
Lee mas
Model-Driven Architecture in Practice
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...
Lee mas
Model-Driven Software Development
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...
Lee mas
Model-Driven Testing
Written by the original members of this standardization group, this book shows you how to use UML to test complex software ...
Lee mas
Modeling Communication with Robots and Virtual Humans : Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers
The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also ...
Lee mas
Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Lee mas
Modeling Financial Time Series with S-PLUS®
This book represents an integration of theory, methods, and examples using the S-PLUS statistical modeling language and the ...
Lee mas
Modeling Financial Time Series with S-PLUS®
This book represents an integration of theory, methods, and examples using the S-PLUS statistical modeling language and the ...
Lee mas
Modeling Semantic Web Services : The Web Service Modeling Language
In this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description ...
Lee masModeling and Control of Discrete-event Dynamic Systems
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Lee mas
Modeling and Management of Fuzzy Semantic RDF Data / Zongmin Ma, Guanfeng Li, Ruizhe Ma
Presents the latest research findings in fuzzy RDF data modeling and management. Fuzziness widely exist in many data and ...
Lee mas
Modeling and Simulation in Scilab
Scilab is a free open-source software package for scientific computation. It includes hundreds of general purpose and specialized ...
Lee mas
Modeling and Simulation in Scilab
Scilab is a free open-source software package for scientific computation. It includes hundreds of general purpose and specialized ...
Lee mas
Modeling and Using Context
Context is of crucial importance for research and applications in many disciplines, as evidenced by many workshops, symposia, ...
Lee mas
Modelling Distributed Systems
Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties ...
Lee masModelling and Analysis of Hybrid Supervisory Systems
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...
Lee mas
Modelling, Analysis and Optimization of Biosystems
Mathematical models in biology and medicine cannot be based on natural laws as it is the case with physics and chemistry. ...
Lee mas
Modellistica Numerica per Problemi Differenziali
This text introduces the fundamental concepts for the numerical modeling of partial differential problems. We consider the ...
Lee mas
Modellistica Numerica per Problemi Differenziali
This text introduces the fundamental concepts for the numerical modeling of partial differential problems. We consider the ...
Lee mas
