."..Tenth International Conference of Feature Interactions in Software and Communications Systems (ICFI 2009), held in Lisbon, Portugal, 11-12 June 2009"--Pref.

Deals with the feature interaction problem in telecommunication systems.

Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. PAAMS provides an international forum to present and discuss the latest scientific developments and their effective applications, to assess the impact of the approach, and to facilitate technology transfer. PAAMS started as a local initiative, but has since grown to become THE international yearly platform to present, to discuss, and to disseminate the latest developments and the most important outcomes related to real-world applications. It provides a unique opportunity to bring multi-disciplinary experts, academics and practitioners together to exchange their experience in the development and deployment of Agents and Multi-Agent Systems. PAAMS intends to bring together researchers and developers from industry and the academic world to report on the latest scientific and technical advances on the application of multi-agent systems, to discuss and debate the major issues, and to showcase the latest systems using agent based technology. It will promote a forum for discussion on how agent-based techniques, methods, and tools help system designers to accomplish the mapping between available agent technology and application needs. Other stakeholders should be rewarded with a better understanding of the potential and challenges of the agent-oriented approach. This edition of PAAMS brings together past experience, current work, and promising future trends associated with distributed computing, artificial intelligence and their application in order to provide efficient solutions to real problems. This symposium is organized by the Bioinformatics, Intelligent System and Educational Technology Research Group (http://bisite.usal.es/) of the University of Salamanca. The present edition will be held in Salamanca, Spain, from 28th to 30th March 2012. This edition of PAAMS brings together past experience, current work, and promising future trends associated with distributed computing, artificial intelligence and their application in order to provide efficient solutions to real problems. This symposium is organized by the Bioinformatics, Intelligent System and Educational Technology Research Group (http://bisite.usal.es/) of the University of Salamanca. The present edition will be held in Salamanca, Spain, from 28th to 30th March 2012.

This book constitutes the proceedings of the 14th International Conference on Principles and Practice in Multi-Agent Systems, PRIMA 2011, held in Wollongong, Australia, in November 2011. The 39 papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. They focus on practical aspects of multiagent systems and are organised in topical sections on coalitions and teamwork, learning, mechanisms and voting, modeling and simulation, negotiation and coalitions, optimization, sustainability, agent societies and frameworks, argumentation, and applications.

This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.

This volume contains the papers presented at the 14th SDL Forum, Bochum, Germany entitled Design for Motes and Mobiles. The SDL Forum has been held every two years for the last three decades and is one of the most important open events in the calendar for anyone from academia or industry involved in System DesignLanguagesandmodelling technologies. It is a primary conference event for discussion of the evolution and use of these languages. The most recent innovations, trends, experiences, and concerns in the ?eld are discussed and presented. The SDL Forum series addresses issues related to the modelling and analysis of reactive systems, distributed systems, and real-time and complex systems such as telecommunications, automotive, and aerospace applications. The intended audience of the series includes users of modelling techniques in industrial, research, and standardization contexts, as well as tool vendors and language researchers. Of course, during the last three decades languages, associated methods, and tools have evolved and new ones have been developed. The application domain haschangedalmostbeyondrecognition. Threedecadesagothemobiletechnology of today was science ?ction, whereas now we ?nd software systems embedded in inexpensive childrens’ toys. More recently multi-core processors have become common technology for consumer computers, and are beginning to be applied in smalldevices. Eveninsmallco-operating,independently poweredremotedevices (such as motes and mobile phones), there is enough memory and processing power to support quite sophisticated operating systems and applications.

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.