| Multi-facets Contract for Modeling and Verifying Heterogeneous Systems
|
2021 |
Khouass, A. Abdelkader |
| Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems
|
2021 |
Mesli-Kesraoui, Ouissem |
| An Approach to Detect Cyberbullying on Social Media
|
2021 |
Ansari, Fatemeh Sajadi |
| More Automation in Model Driven Development
|
2021 |
André, Pascal |
| Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata
|
2021 |
Vain, Jüri |
| Top-K Formal Concepts for Identifying Positively and Negatively Correlated Biclusters
|
2021 |
Houari, Amina |
| Anonymization Methods of Structured Health Care Data: A Literature Review
|
2021 |
Vovk, Olga |
| A Blockchain-Based Platform for the e-Procurement Management in the Public Sector
|
2021 |
Elabdallaoui, Hasna Elalaoui |
| Using Multidimensional Skylines for Regret Minimization
|
2021 |
Alami, Karim |
| A Refinement Strategy for Hybrid System Design with Safety Constraints
|
2021 |
Cheng, Zheng |
| A Low-Cost Authentication Protocol Using Arbiter-PUF
|
2021 |
Zerrouki, Fahem |
| An Ontology Engineering Case Study for Advanced Digital Forensic Analysis
|
2021 |
Chikul, Pavel |
| COVIDonto: An Ontology Model for Acquisition and Sharing of COVID-19 Data
|
2021 |
Fonou-Dombeu, Jean Vincent |
| Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures
|
2021 |
Surti, Kunal |
| Social Neural Hybrid Recommendation with Deep Representation Learning
|
2021 |
Berkani, Lamia |
| Cloud Query Processing with Reinforcement Learning-Based Multi-objective Re-optimization
|
2021 |
Wang, Chenxiao |
| K-Nearest Neighbors Classification of Semantic Web Ontologies
|
2021 |
Koech, Gideon |
| Automated Generation of Datasets from Fishbone Diagrams
|
2021 |
Sal, Brian |
| Enhancing Sedona (formerly GeoSpark) with Efficient k Nearest Neighbor Join Processing
|
2021 |
García-García, Francisco |
| Realisability of Control-State Choreographies
|
2021 |
Schewe, Klaus-Dieter |
Tag hinzufügen