Sciweavers

374 search results - page 29 / 75
» Towards Translating Graph Transformation Approaches by Model...
Sort
View
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
15 years 10 months ago
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...
SYNASC
2007
IEEE
119views Algorithms» more  SYNASC 2007»
15 years 10 months ago
Graph Rewriting and Strategies for Modeling Biochemical Networks
In this paper, we present a rewriting framework for modeling molecular complexes, biochemical reaction rules, and generation of biochemical networks based on the representation of...
Oana Andrei, Hélène Kirchner
ICPR
2008
IEEE
15 years 10 months ago
Shape-based matching of heart sounds
In this paper, we present an approach to matching heart sounds based on modeling the morphological variations of audio envelopes through a constrained nonrigid translation transfo...
Tanveer Fathima Syeda-Mahmood, Fei Wang
PLDI
2011
ACM
14 years 6 months ago
Evaluating value-graph translation validation for LLVM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
Jean-Baptiste Tristan, Paul Govereau, Greg Morrise...
149
Voted
APSCC
2009
IEEE
15 years 10 months ago
Translating Semantic Web Service based business process models
— We describe a model-driven translation approach between Semantic Web Service based business process models in the context of the SUPER project. In SUPER we provide a set of bus...
Liliana Cabral, John Domingue