Theory and Application of Reuse, Integration, and Data Science

Thouraya Bouabana-Tebibel, Lydia Bouzar-Benlabiod, Stuart H. Rubin (Herausgeber)

Buch | Softcover

XI, 189 Seiten

2019
Springer International Publishing (Verlag)
978-3-319-98055-3 (ISBN)

Artikel merken

This book presents recent research in the field of reuse and integration, and will help researchers and practitioners alike to understand how they can implement reuse in different stages of software development and in various domains, from robotics and security authentication to environmental issues. Indeed, reuse is not only confined to reusing code; it can be included in every software development step. The challenge today is more about adapting solutions from one language to another, or from one domain to another. The relative validation of the reused artifacts in their new environment is also necessary, at time even critical.

The book includes high-quality research papers on these and many other aspects, written by experts in information reuse and integration, who cover the latest advances in the field. Their contributions are extended versions of the best papers presented at the IEEE International Conference on Information Reuse and Integration (IRI) and IEEE International Workshop on Formal Methods Integration (FMI), which were held in San Diego in August 2017.

Improved Logical Passing Strategy and Gameplay Algorithm for Humanoid Soccer Robots using Colored Petri nets Kieutran.- Analyzing Cleaning Robots using Probabilistic Model Checking.- From Petri Nets to UML: A New Approach for Model Analysis.- Using Belief Propagation-based Proposal Preparation for Automated Negotiation over Environmental Issues.- SAIL: A Scalable Wind Turbine Fault Diagnosis Platform A Case Study on Gearbox Fault Diagnosis.- Efficient Authentication of Approximate Record Matching for Outsourced Databases.- Active Dependency Mapping A Data-Driven Approach to Mapping Dependencies in Distributed Systems.

Erscheinungsdatum	16.09.2018
Reihe/Serie	Advances in Intelligent Systems and Computing
Zusatzinfo	XI, 189 p. 76 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	320 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Themenwelt	Technik
Schlagworte	Fomal Methods Integration • IEEE FMi 2017 • intelligent computing • Reusable systems • Software System Reliability
ISBN-10	3-319-98055-6 / 3319980556
ISBN-13	978-3-319-98055-3 / 9783319980553
Zustand	Neuware