Theoretical Information Reuse and Integration

Reuse and integration of specification logics: the hybridisation perspective.- Test Reactive Systems with B?chi-Automaton-Based Temporal Requirements.- Capturing and Verifying Dynamic Systems Behavior Using UML and π-calculus.- A Real-time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet.- Case Indexing by Component, Context and Encapsulation for Knowledge Reuse.- Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining A Segmentation Analysis Perspective.- Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data?.- Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching.- An Accurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles.

• Format: Paperback
• Language: English
• ISBN: 3319313096
• ISBN13: 9783319313092
• Release Date: May 2016
• Publisher: Springer
• Length: 217 Pages
• Weight: 0.73 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"