No abstract available.
Front Matter
Front Matter
A Refinement Strategy for Hybrid System Design with Safety Constraints
Whenever continuous dynamics and discrete control interact, hybrid systems arise. As hybrid systems become ubiquitous and more and more complex, analysis and synthesis techniques are in high demand to design safe hybrid systems. This is however ...
Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems
- Ouissem Mesli-Kesraoui,
- Yassine Ouhammou,
- Olga Goubali,
- Pascal Berruet,
- Patrick Girard,
- Emmanuel Grolleau
The physical integration of an aircraft consists of the assembly of several complex subsystems (including hydraulic systems) developed by different stakeholders. The cleanliness of the developed hydraulic subsystems is ensured by performing ...
Multi-facets Contract for Modeling and Verifying Heterogeneous Systems
Critical and cyber-physical systems (CPS) such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous systems. They are perimeter-less, built by assembling various heterogeneous and interacting components ...
Front Matter
An Approach to Detect Cyberbullying on Social Media
Detecting Cyberbullying is still an important issue. Existing approaches often rely on advanced techniques including machine learning and Natural Language Processing algorithms. In this paper, we propose an ontology and classifiers-based approach ...
An Ontology Engineering Case Study for Advanced Digital Forensic Analysis
Digital forensics faces some serious challenges at present. Those challenges include ever-increasing processed data volumes, heterogeneous nature of evidentiary artifacts, multiple data sources incompatible with each other, and more. Most of the ...
More Automation in Model Driven Development
Model Driven Development (MDD) earned a leading role in Software Engineering but still does not play its role in practice. In MDD, models are abstractions of implementations and development is a refinement process with as much automation as ...
Front Matter
Realisability of Control-State Choreographies
Choreographies prescribe the rendez-vous synchronisation of messages in a system of communicating finite state machines. Such a system is called realisable, if the traces of the prescribed communication coincide with those of the asynchronous ...
A Low-Cost Authentication Protocol Using Arbiter-PUF
Integrated Circuits (ICs) and electronic devices become part of human daily life (mobile, home, car, etc.) and for the safety of the information transported to and from these devices, some specifics security measures are proposed. Some ICs are a ...
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata
This paper presents a method for offline test derivation from formal aspect-oriented models so that the tests provide coverage in terms of aspects related metrics. A test purpose specification method in temporal logic TCTL is proposed that enables ...
Front Matter
Social Neural Hybrid Recommendation with Deep Representation Learning
Deep learning techniques are proved to be very effective in various domains, such as computer vision, pattern recognition, and natural language processing. With the rapid development of this technology, more and more deep models have been used in ...
Cloud Query Processing with Reinforcement Learning-Based Multi-objective Re-optimization
Query processing on cloud database systems is a challenging problem due to the dynamic cloud environment. The configuration and utilization of the distributed hardware used to process queries change continuously. A query optimizer aims to generate ...
Top-K Formal Concepts for Identifying Positively and Negatively Correlated Biclusters
Formal Concept Analysis has been widely applied to identify differently expressed genes among microarray data. Top-K Formal Concepts are identified as efficient in generating most important Formal Concepts. To the best of our knowledge, no ...
Front Matter
Anonymization Methods of Structured Health Care Data: A Literature Review
Anonymization of health data is one of the most important technics of sharing data for secondary purposes such as research and statistics while preserving people’s privacy. This article is a systematic literature review of current methods that are ...
Categorical Modeling of Multi-model Data: One Model to Rule Them All
As most of the DBMSs have become multi-model, there have occurred plenty of related issues. One of them is a design of a multi-model application, where the step from the conceptual layer to a set of distinct interlinked logical models is not ...
Guaranteeing Information Integrity Through Blockchains for Smart Cities
Given the threats that the smart city faces especially tampering the integrity of information, it has become necessary to integrate more robust and decentralized technologies that ensure transparency and sustainability of the system. Blockchain is ...
A Blockchain-Based Platform for the e-Procurement Management in the Public Sector
Public procurement represents an important part of the countries’ budgets. It is impossible to effectively solve the problem of public expenditure without establishing a rational and transparent public procurement management system. These markets ...
Front Matter
COVIDonto: An Ontology Model for Acquisition and Sharing of COVID-19 Data
The collection and sharing of accurate data is paramount to the fight against COVID-19. However, the health system in many countries is fragmented. Furthermore, because no one was prepared for COVID-19, manual information systems have been put in ...
K-Nearest Neighbors Classification of Semantic Web Ontologies
The growing interest in the semantic web technologies in the past years has led to the increase in the number of ontologies on the web. This gives semantic web developers the opportunity to select and reuse these ontologies in new applications. ...
Automated Generation of Datasets from Fishbone Diagrams
The analysis of the data generated in manufacturing processes and products, also known as Industry 4.0, has gained a lot of popularity in last years. However, as in any data analysis process, data to be processed must be manually gathered and ...
GPU-Based Algorithms for Processing the k Nearest-Neighbor Query on Disk-Resident Data
Algorithms for answering the k Nearest-Neighbor (k-NN) query are widely used for queries in spatial databases and for distance classification of a group of query points against a reference dataset to derive the dominating feature class. GPU ...
Revisiting Data Compression in Column-Stores
Data compression is widely used in contemporary column-oriented DBMSes to lower space usage and to speed up query processing. Pioneering systems have introduced compression to tackle the disk bandwidth bottleneck by trading CPU processing power ...
Index Terms
- Model and Data Engineering: 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings
Recommendations
Three hundred years of vibration engineering
RésuméLe problème des vibrations dans la technique moderne, particulièrement dans l'aviation, est un objet de recherches très approfondies auxquelles participent des savants et des ingénieurs de tous les pays. On croirait qu'il s'agit d'un phénomène ...