


default search action
8th MEDI 2018: Marrakesh, Morocco
- El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez:
Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Lecture Notes in Computer Science 11163, Springer 2018, ISBN 978-3-030-00855-0
Invited Paper
- Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza
, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu:
Data Science with Vadalog: Bridging Machine Learning and Reasoning. 3-21
Databases
- Chaimae Asaad
, Karim Baïna
:
NoSQL Databases - Seek for a Design Methodology. 25-40 - Alfonso de la Vega
, Diego García-Saiz
, Carlos Blanco
, Marta E. Zorrilla
, Pablo Sánchez:
Mortadelo: A Model-Driven Framework for NoSQL Database Design. 41-57 - Zdenek Rybola, Michal Valenta:
Towards OntoUML for Software Engineering: Experimental Evaluation of Exclusivity Constraints in Relational Databases. 58-73
Ontology and Model Driven Engineering
- Imane Essebaa, Salima Chantit:
Scrum and V Lifecycle Combined with Model-Based Testing and Model Driven Architecture to Deal with Evolutionary System Issues. 77-91 - Jean Vincent Fonou Dombeu
, Yannick Kazela Kazadi:
Adaptive Algorithms for Computing Ontologies Metrics Through Processing of RDF Graphs. 92-106 - Jean Vincent Fonou Dombeu
, Serestina Viriri
:
CRank: A Novel Framework for Ranking Semantic Web Ontologies. 107-121
Data Fusion, Classification and Learning
- Ikram Abdelkhalek, Afef Ben Brahim, Nadia Essoussi:
A New Way of Handling Missing Data in Multi-source Classification Based on Adaptive Imputation. 125-136 - Mohamed-Amine Abrache
, Khalid Megder, Chihab Cherkaoui:
Feedback-Oriented Assessor Model - Application: Allocation of Submissions in Online Peer Assessment. 137-149
Communication and Information Technologies
- Hasna El Alaoui El Abdallaoui
, Abdelaziz El Fazziki
, Fatima Zohra Ennaji
, Mohammed Sadgal
:
A Gamification and Objectivity Based Approach to Improve Users Motivation in Mobile Crowd Sensing. 153-167 - Khaled Khebbeb, Nabil Hameurlain, Faiza Belala:
Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. 168-183 - Zakaria Maamar
, Khouloud Boukadi
, Emir Ugljanin, Thar Baker
, Muhammad Asim
, Mohammed Al-Khafajiy
, Djamal Benslimane, Hasna El Alaoui El Abdallaoui
:
Thing Federation as a Service: Foundations and Demonstration. 184-197 - Quentin Rouland
, Brahim Hamid
, Jason Jaskolka
:
Formalizing Reusable Communication Models for Distributed Systems Architecture. 198-216
Safety and Security
- Mohamed El-Amine Chergui, Sidi Mohamed Benslimane
:
A Valid BPMN Extension for Supporting Security Requirements Based on Cyber Security Ontology. 219-232 - Hania Gadouche, Farah Zoubeyr
, Abdelkamel Tari:
A Correct-by-Construction Model for Attribute-Based Access Control. 233-247
Algorithmics and Text Processing
- Francisco García-García
, Antonio Corral
, Luis Iribarne
, Michael Vassilakopoulos
:
Voronoi-Diagram Based Partitioning for Distance Join Query Processing in SpatialHadoop. 251-267 - Houari Mahfoud
:
Graph Pattern Matching Preserving Label-Repetition Constraints. 268-281 - Mohcine Maghfour, Abdeljalil Elouardighi:
Standard and Dialectal Arabic Text Classification for Sentiment Analysis. 282-291 - Sara Qassimi
, El Hassan Abdelwahed
, Meriem Hafidi
, Rachid Lamrani:
A Graph-Based Model for Tag Recommendations in Clinical Decision Support System. 292-300 - George Roumelis, Michael Vassilakopoulos
, Antonio Corral
, Athanasios Fevgas, Yannis Manolopoulos:
Spatial Batch-Queries Processing Using xBR ^+ -trees in Solid-State Drives. 301-317
Specification, Verification and Validation
- Abderrahim Ait Wakrime
, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani
:
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. 321-330 - Chafik Baidada, El Mahi Bouziane, Abdeslam Jakimi
:
A Dynamic Analysis for Reverse Engineering of Sequence Diagram Using CPN. 331-345 - Cheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche:
A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant. 346-353 - Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy:
Domain-Oriented Verification Management. 354-370 - Souad Marir
, Faiza Belala, Nabil Hameurlain:
A Formal Model for Interaction Specification and Analysis in IoT Applications. 371-384 - Mathieu Montin, Marc Pantel:
Mechanizing the Denotational Semantics of the Clock Constraint Specification Language. 385-400 - Samir Ouchani
:
Ensuring the Functional Correctness of IoT through Formal Modeling and Verification. 401-417 - Klaus-Dieter Schewe:
Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. 418-433

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.