default search action
MEDI Workshops 2019: Toulouse, France
- J. Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout:
New Trends in Model and Data Engineering - MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings. Communications in Computer and Information Science 1085, Springer 2019, ISBN 978-3-030-32212-0
Workshop on Modeling, Verification and Testing of Dependable Critical Systems
- Ernesto Exposito:
Semantic-Driven Architecture for Autonomic Management of Cyber-Physical Systems (CPS) for Industry 4.0. 5-17 - Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Domain-Specific Scenarios for Refinement-Based Methods. 18-31 - Mohammed Foughali:
On Reconciling Schedulability Analysis and Model Checking in Robotics. 32-48 - Messaoud Abbas, Mounir Beggas, Ammar Boucherit:
Formalizing and Verifying UML Activity Diagrams. 49-63 - Khaled Khebbeb, Nabil Hameurlain, Faiza Belala:
Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. 64-77 - Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel:
Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment. 78-90 - Sara Hsaini, Salma Azzouzi, My El Hassan Charaf:
A Temporal Approach for Testing Distributed Systems-A MapReduce Case Study. 91-103
Workshop on Data Science for Social Good in Africa
- Sara Qassimi, El Hassan Abdelwahed:
Semantic Graph-Based Recommender System. Application in Cultural Heritage. 109-121 - Abdelhakim El Boustani, Essaid El Bachari:
MRI Brain Images Compression and Classification Using Different Classes of Neural Networks. 122-134 - Achraf Ait-Beni-Ifit, Othmane Alaoui Fdili, Patrick Corlay, François-Xavier Coudoux, Mohammed El Hassouni:
Overview on HEVC Inter Frame Video Coding's Impact on the Energy Consumption for Next Generation WVSNs. 135-145 - Zakaria Igarramen, Ahmed Bentajer, Mustapha Hedabou:
TPM Based Schema for Reinforcing Security in IBE's Key Manager. 146-153 - Lazrak Noussair, Jesualdo Tomás Fernández-Breis, Jihad Zahir, Hajar Mousannif:
Towards Distributed Learning in Internet of Things. Air Quality Monitoring Use Case. 154-159
Workshop on Security and Privacy in Models and Data
- Oscar Lage Serrano, Santiago de Diego, Iñaki Seco, Xabier Larrucea:
Semi-real-time Hash Comparison for Detecting Intrusions Using Blockchain. 165-179 - Mike Surridge, Ken Meacham, Juri Papay, Stephen C. Phillips, John Brian Pickering, Ardavan Shafiee, Toby Wilkinson:
Modelling Compliance Threats and Security Analysis of Cross Border Health Data Exchange. 180-189 - John Brian Pickering, Giuliana Faiella, Fabrizio Clemente:
Resolving Stakeholder Tussles in Healthcare Systems: Ethical Challenges to Data Protection. 190-201 - Sigal Asaf, Ariel Farkash, Micha Moffie:
Multi-value Classification of Ambiguous Personal Data. 202-208
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.