This book introduces readers to the background and principles of mobile service computing. It discusses various aspects of ...
Continue readingMobile Ad hoc NETworks (MANETs) has attracted great research interest in recent years. A Mobile Ad Hoc Network is a self-organizing ...
Continue readingThis collection of essays examines how spatial mobilities of people and practices, technologies and objects, knowledge and ...
Continue readinghe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Continue readingThis book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Continue readingModel-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software ...
Continue readingThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue readingThe goal of this book is three-fold: it describes the basics of model order reduction and related aspects. In numerical linear ...
Continue readingThis book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing ...
Continue readingThis book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...
Continue readingThe objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the ...
Continue readingThis book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Continue readingMODELING PERFORMANCE MEASUREMENT: Applications and Implementation Issues in DEA presents unified results from authors’ ...
Continue readingThe volume is structured in two parts. Part one presents the basic theory, and the general equations describing SOFC operation ...
Continue readingModeling and computations in electromagnetics is a quite novel and growing discipline, expanding as a result of the steadily ...
Continue readingModeling and Control of Antennas and Telescopes presents the author’s research and field experience in the area of antenna ...
Continue readingThis book explores almost every major aspect of modeling and the techniques applied in membrane separation studies and applications. ...
Continue readingA lot of recent developments have been made about adhesively bonded joints modeling using various methods of analysis. The ...
Continue readingThe physics of metal forming and metal removing is normally expressed using non-linear partial differential equations which ...
Continue readingThis monograph presents an introductory overview of smart structures, their concepts, their active involvement in the vibration ...
Continue reading