| 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 |
| Realisability of Control-State Choreographies
|
2021 |
Schewe, Klaus-Dieter |
| Categorical Modeling of Multi-model Data: One Model to Rule Them All
|
2021 |
Svoboda, Martin |
| Guaranteeing Information Integrity Through Blockchains for Smart Cities
|
2021 |
Dahmane, Walid Miloud |
| Revisiting Data Compression in Column-Stores
|
2021 |
Slesarev, Alexander |
| GPU-Based Algorithms for Processing the k Nearest-Neighbor Query on Disk-Resident Data
|
2021 |
Velentzas, Polychronis |
| 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 |
Tag hinzufügen