International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
Weiterlesen
Mobile Ad hoc NETworks (MANETs) has attracted great research interest in recent years. A Mobile Ad Hoc Network is a self-organizing ...
Weiterlesen
While wireless technologies had a spectacular evolution over the past years, the present trend is to adopt a global heterogeneous ...
Weiterlesen
This collection of essays examines how spatial mobilities of people and practices, technologies and objects, knowledge and ...
Weiterlesen
The beginning of the twenty-first century is characterized by global markets, and the mobility of people is becoming an important ...
Weiterlesen
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Weiterlesen
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
Weiterlesen
many works and results have been published which reinforce the importance of Current-Mode digital circuits. In the topic ...
WeiterlesenThe volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...
Weiterlesen
The First International Workshop on Model-Based Software and Data Integ- tion (MBSDI 2008), was ourfrst event of this kind ...
Weiterlesen
In this book readers will find technological discussions on the existing and emerging technologies across the different stages ...
Weiterlesen
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...
Weiterlesen
Covers important topics and approaches related to the modeling and simulation of complex communication networks from a complex ...
Weiterlesen
The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also ...
WeiterlesenDiscrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Weiterlesen
This book contains a selection of papers presented at a symposium organized under the aegis of COST Telecommunications Action ...
Weiterlesen
The focus of Modeling and Simulation for RF System Design lies on RF specific modeling and simulation methods and the consideration ...
Weiterlesen
This proceedings volume contains a selection of papers presented at the symposium "International Conference on High Performance ...
Weiterlesen
This proceedings volume contains a selection of papers presented at the Third International Conference on High Performance ...
Weiterlesen
Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE ...
Weiterlesen