"In today's fast-paced, often-dehumanizing world, increasing positive adult involvement and influence is particularly vital. ...
Lee masThis book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Lee mashe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lee masThis book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...
Lee masGaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the ...
Lee masThis book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Lee masThis book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Lee masModel reduction and coarse-graining are important in many areas of science and engineering. How does a system with many degrees ...
Lee masThis book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses ...
Lee masThe volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...
Lee masThe First International Workshop on Model-Based Software and Data Integ- tion (MBSDI 2008), was ourfrst event of this kind ...
Lee masIn this book readers will find technological discussions on the existing and emerging technologies across the different stages ...
Lee masAbstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...
Lee masGeostatistics is concerned with estimation and prediction problems for spatially continuous phenomena, using data obtained ...
Lee masCovers important topics and approaches related to the modeling and simulation of complex communication networks from a complex ...
Lee masThe 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also ...
Lee masUsing tools from mathematical kinetic theory and stochastic game theory, this work deals with the modeling of large complex ...
Lee masDecision modeling is a key area in the developing field of AI, and this timely work connects researchers and professionals ...
Lee masThis book constitutes the refereed proceedings of the Third International Conference on Modeling Decisions for Artificial ...
Lee masThis book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Lee mas