Abstract is missing.
- Data Science with Vadalog: Bridging Machine Learning and ReasoningLuigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu. 3-21 [doi]
- NoSQL Databases - Seek for a Design MethodologyChaimae Asaad, Karim Baïna. 25-40 [doi]
- Mortadelo: A Model-Driven Framework for NoSQL Database DesignAlfonso de la Vega, Diego García-Saiz, Carlos Blanco 0001, Marta E. Zorrilla, Pablo Sánchez. 41-57 [doi]
- Towards OntoUML for Software Engineering: Experimental Evaluation of Exclusivity Constraints in Relational DatabasesZdenek Rybola, Michal Valenta. 58-73 [doi]
- Scrum and V Lifecycle Combined with Model-Based Testing and Model Driven Architecture to Deal with Evolutionary System IssuesImane Essebaa, Salima Chantit. 77-91 [doi]
- Adaptive Algorithms for Computing Ontologies Metrics Through Processing of RDF GraphsJean Vincent Fonou Dombeu, Yannick Kazela Kazadi. 92-106 [doi]
- CRank: A Novel Framework for Ranking Semantic Web OntologiesJean Vincent Fonou Dombeu, Serestina Viriri. 107-121 [doi]
- A New Way of Handling Missing Data in Multi-source Classification Based on Adaptive ImputationIkram Abdelkhalek, Afef Ben Brahim, Nadia Essoussi. 125-136 [doi]
- Feedback-Oriented Assessor Model - Application: Allocation of Submissions in Online Peer AssessmentMohamed-Amine Abrache, Khalid Megder, Chihab Cherkaoui. 137-149 [doi]
- A Gamification and Objectivity Based Approach to Improve Users Motivation in Mobile Crowd SensingHasna El Alaoui El Abdallaoui, Abdelaziz El Fazziki, Fatima Zohra Ennaji, Mohammed Sadgal. 153-167 [doi]
- Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud SystemsKhaled Khebbeb, Nabil Hameurlain, Faiza Belala. 168-183 [doi]
- Thing Federation as a Service: Foundations and DemonstrationZakaria Maamar, Khouloud Boukadi, Emir Ugljanin, Thar Baker, Muhammad Asim, Mohammed Al-Khafajiy, Djamal Benslimane, Hasna El Alaoui El Abdallaoui. 184-197 [doi]
- Formalizing Reusable Communication Models for Distributed Systems ArchitectureQuentin Rouland, Brahim Hamid, Jason Jaskolka. 198-216 [doi]
- A Valid BPMN Extension for Supporting Security Requirements Based on Cyber Security OntologyMohamed El-Amine Chergui, Sidi Mohamed Benslimane. 219-232 [doi]
- A Correct-by-Construction Model for Attribute-Based Access ControlHania Gadouche, Farah Zoubeyr, Abdelkamel Tari. 233-247 [doi]
- Voronoi-Diagram Based Partitioning for Distance Join Query Processing in SpatialHadoopFrancisco García-García 0001, Antonio Corral, Luis Iribarne, Michael Vassilakopoulos. 251-267 [doi]
- Graph Pattern Matching Preserving Label-Repetition ConstraintsHouari Mahfoud. 268-281 [doi]
- Standard and Dialectal Arabic Text Classification for Sentiment AnalysisMohcine Maghfour, Abdeljalil Elouardighi. 282-291 [doi]
- A Graph-Based Model for Tag Recommendations in Clinical Decision Support SystemSara Qassimi, El Hassan Abdelwahed, Meriem Hafidi, Rachid Lamrani. 292-300 [doi]
- Spatial Batch-Queries Processing Using xBR ^+ -trees in Solid-State DrivesGeorge Roumelis, Michael Vassilakopoulos, Antonio Corral, Athanasios Fevgas, Yannis Manolopoulos. 301-317 [doi]
- Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-BAbderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani. 321-330 [doi]
- A Dynamic Analysis for Reverse Engineering of Sequence Diagram Using CPNChafik Baidada, El Mahi Bouziane, Abdeslam Jakimi. 331-345 [doi]
- A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof AssistantCheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche. 346-353 [doi]
- Domain-Oriented Verification ManagementVincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. 354-370 [doi]
- A Formal Model for Interaction Specification and Analysis in IoT ApplicationsSouad Marir, Faiza Belala, Nabil Hameurlain. 371-384 [doi]
- Mechanizing the Denotational Semantics of the Clock Constraint Specification LanguageMathieu Montin, Marc Pantel. 385-400 [doi]
- Ensuring the Functional Correctness of IoT through Formal Modeling and VerificationSamir Ouchani. 401-417 [doi]
- Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical SystemsKlaus-Dieter Schewe. 418-433 [doi]