default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th 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.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
