Sciweavers

1255 search results - page 123 / 251
» Model-Driven Development of Model Transformations
Sort
View
MDAFA
2004
Springer
178views Hardware» more  MDAFA 2004»
15 years 3 months ago
Model Bus: Towards the Interoperability of Modelling Tools
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
Xavier Blanc, Marie-Pierre Gervais, Prawee Sriplak...
AGTIVE
2007
Springer
15 years 1 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe
PLDI
1995
ACM
15 years 1 months ago
Unifying Data and Control Transformations for Distributed Shared Memory Machines
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
Michal Cierniak, Wei Li
ENTCS
2008
72views more  ENTCS 2008»
14 years 10 months ago
Towards a Notion of Transaction in Graph Rewriting
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
Paolo Baldan, Andrea Corradini, Fernando Luí...
MICCAI
2004
Springer
15 years 10 months ago
Spatio-Temporal Free-Form Registration of Cardiac MR Image Sequences
In this paper we develop a spatio-temporal registration algorithm for cardiac MR image sequences. The algorithm has the ability to correct any spatial misalignment between the imag...
Dimitrios Perperidis, Raad Mohiaddin, Daniel Rueck...