Theoretical Information Reuse and Integration

1. Reuse and Integration of Specification Logics: The Hybridisation Perspective
Luis S. Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves

2. Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements
Bolong Zeng, Li Tan

3. Capturing and Verifying Dynamic Systems Behavior Using UML and pi


?


-Calculus
Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem

4. A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet
Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi

5. Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse
Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib

6. Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining
Elham Akhond Zadeh Noughabi, Behrouz H. Far, Amir Albadvi

7. Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data?
David J. Dittman, Taghi M. Khoshgoftaar, Amri Napolitano

8. Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching
Jiawei Zhang, Qianyi Zhan, Philip S. Yu

9. An Accurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles
Sepideh Afkhami Goli, Behrouz H. Far, Abraham O. Fapojuwo

Keywords: Engineering, Computational Intelligence, Artificial Intelligence (incl. Robotics)