This paper introduces a formal approach to constraint-aware model transformation which
supports specifying constraints in the definition of transformation rules. These constraints are …

From its start using supercomputers, scientific computing constantly evolved to the next
levels such as cluster computing, meta-computing, or computational Grids. Today, Cloud …

Models are the primary artefacts of the software development process in Model-Driven
Engineering (MDE). Like other software artefacts, models undergo a complex evolution …

Software design requires deployment of interdependent models conforming to different
metamodels. This set of models is called a multimodel, and it must satisfy a set of global …

Summary In Model-Driven Engineering (MDE) models are the primary artefacts of the
software development process. The usage of these models have resulted in the introduction …

Abstract In Model-Driven Engineering (MDE) models are the primary artefacts of the
software development process. Similar to other software artefacts, models undergo a …

Discusses constant modulus signal recovery by a multi-sensor receiver in a multipath
propagation channel. The author first shows that spatio-temporal filtering can recover the …

This paper studies the performance of generics, or templates as they are sometimes called,
for scientific computing in various programming languages. In order to understand the cost …

In Model Driven Engineering (MDE) models are the main artefacts of the software
development process. Model transformations are used both in the software development …

In this paper, we propose a new approach to inheritance and abstraction in the context of
algebraic graph transformation by providing a suitable categorial framework which reflects …