Feature Interactions in Software and Communication Systems X

Feature Interactions in Software and Communication Systems X
Author: Masahide Nakamura
Publisher: IOS Press
Total Pages: 264
Release: 2009
Genre: Technology & Engineering
ISBN: 1607500140

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

Runtime Verification

Runtime Verification
Author: Christian Colombo
Publisher: Springer
Total Pages: 474
Release: 2018-11-07
Genre: Computers
ISBN: 303003769X

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Feature Interactions in Software and Communication Systems IX

Feature Interactions in Software and Communication Systems IX
Author: Lydie Du Bousquet
Publisher:
Total Pages: 217
Release: 2008
Genre: Computers
ISBN: 9781607503170

This publication deals with the feature interaction problem in telecommunication systems. In this domain, an interaction occurs when one telecommunications feature/service modifies or subverts the operation of another one. Undesired interactions can both lower this quality and delay service provisioning. Therefore, the problem of feature interactions in telecommunications is of great importance. In the past decade, a lot of attention has been devoted to the development of methods for detection and resolution of feature interactions. However, this feature interaction phenomenon is not unique to the domain of telecommunications systems. It can also occur in any large software system that is subject to continuous changes. All the submitted papers in this publication have been peer reviewed by at least two reviewers drawn from industry or academia.

Model-Driven Engineering Languages and Systems

Model-Driven Engineering Languages and Systems
Author: Ana Moreira
Publisher: Springer
Total Pages: 815
Release: 2013-09-20
Genre: Computers
ISBN: 3642415334

This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.

Interpretable Machine Learning

Interpretable Machine Learning
Author: Christoph Molnar
Publisher: Lulu.com
Total Pages: 320
Release: 2020
Genre: Computers
ISBN: 0244768528

This book is about making machine learning models and their decisions interpretable. After exploring the concepts of interpretability, you will learn about simple, interpretable models such as decision trees, decision rules and linear regression. Later chapters focus on general model-agnostic methods for interpreting black box models like feature importance and accumulated local effects and explaining individual predictions with Shapley values and LIME. All interpretation methods are explained in depth and discussed critically. How do they work under the hood? What are their strengths and weaknesses? How can their outputs be interpreted? This book will enable you to select and correctly apply the interpretation method that is most suitable for your machine learning project.

Feature Interactions in Telecommunications and Software Systems VII

Feature Interactions in Telecommunications and Software Systems VII
Author: Daniel Amyot
Publisher:
Total Pages: 348
Release: 2003
Genre: Communications software
ISBN:

Feature interaction is a phenomenon known to the designers of modern telephone switching systems. This phenomenon occurs when one feature modifies or subverts the operation of another one. This work brings together representatives of the telecommunications industry and the software industry.