Feature Interactions in Software and Communication Systems X


Book Description

The International Conference on Feature Interactions in Software and Communication Systems (ICFI) has evolved out of the Feature Interaction Workshop (FIW), which started in 1992 as the leading forum for discussion and reporting on research on feature interactions in telecommunications systems. It is now concerned with feature interaction in all types of software systems. Participation includes practitioners, researchers and educators. The proceedings have been published by IOS Press since 1994.




البطء


Book Description




Feature Interactions in Software and Communication Systems X


Book Description

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










Feature Interactions in Telecommunications and Software Systems VIII


Book Description

Features - additional services - occur whenever organisations compete by differentiating their products from those of rival organisations. Adding one feature may break another, or interfere with it in an undesired way. This phenomenon is called feature interaction. This book explores ways in which the feature interaction problem may be mitigated.




Advances on Practical Applications of Agents and Multi-Agent Systems


Book Description

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.




Feature Interactions in Telecommunications and Software Systems VI


Book Description

Typically, telecommunications services are implemented in software. Feature interaction is the term used to describe interference between services or features; most attention is given to cases where the interference is undesirable, ie. there is an incompatibility. In telecommunications, control and data is distributed and on such a large scale that software development is by numerous disjoint teams; by its nature, therefore, this software experienced the feature interaction problem first. But, while the workshop focuses on communications services, the subject has relevance to any domain where separate software entities control a shared resource.




Agents in Principle, Agents in Practice


Book Description

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.




Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems


Book Description

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.