Programming models bridge the gap between the underlying hardware architecture and the supporting layers of software available to applications. Specifically, a programming model is an abstraction of the underlying computer system that allows for the expression of both algorithms and data structures and exists independently of the choice of both the programming language and the supporting APIs. ...

Model-Driven Engineering paradigm is being used by the research community in the last years, obtaining suitable results. However, there are few practical experiences in the enterprise field. This paper presents the use of this paradigm in an aeronautical PLM project named CALIPSOneo currently under development in Airbus. In this context, NDT methodology was adapted as methodology in order to be...

This paper examines multimedia from a perspective of both data modeling and application development. It outlines a layered paradigm aa a preferred approach to modeling, proposes a neu, Layered Multimedia Data Model (LMDM), and then demonstrates how the LMDM can be used together with a database of MM data to describe and support a large number of present and future multimedia applications. In ad...

In this era of widespread broadband Internet penetration and powerful Web browsers on most desktops, a shift in the publication paradigm for physiome-style models is envisaged. No longer will model authors simply submit an essentially textural description of the development and behaviour of their model. Rather, they will submit a complete working implementation of the model encoded and annotate...

Cloud vendors are increasingly offering machine learning services as part of their platform and services portfolios. These services enable the deployment of machine learning models on the cloud that are offered on a pay-per-query basis to application developers and end users. However recent work has shown that the hosted models are susceptible to extraction attacks. Adversaries may launch queri...

Formal verification of temporal properties is necessary in many real applications. We can find in the literature many case studies which show us how formal verification techniques allowed scientists to find errors in systems that were thought to be correct. Model checking is an automatic formal verification technique that, given a model of a system and a temporal formula determines if the model...