


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














