Geodesic

Volume 17 (2020) no. 1

Sommaire

EDITORIAL
GUEST EDITORIAL: Papers selected from 8th International Conference on Model and Data Engineering (MEDI 2018)
Run-time Interpretation of Information System Application Models in Mobile Cloud Environments
Efficient Virtual Machine Placement Algorithms for Consolidation in Cloud Data Centers
Towards a software-based mobility management for 5G: An experimental approach for flattened network architectures
Instance-based classification using prototypes generated from large noisy and streaming datasets
Climate Change Opinions in Online Debate Sites
Architecting Business Process Maps
Correctness of the Chord Protocol
Distance Transform and Template Matching Based Methods for Localization of Barcodes and QR Codes
Comparison of systematically derived software metrics thresholds for object-oriented programming languages
Regression Verification for Automated Evaluation of Students Programs
Visualization of path patterns in semantic graphs
A Mobile Crowd Sensing Framework for Suspect Investigation: An Objectivity Analysis and De-Identification Approach
Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
Business Process Specification, Verification, and Deployment in a Mono-Cloud, Multi-Edge Context
A Tool-assisted Method for the Systematic Construction of Critical Embedded Systems using Event-B
Game-based learning and Gamification to improve skills in early years education