Sciweavers

374 search results - page 29 / 75
» Towards Translating Graph Transformation Approaches by Model...
Sort
View
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
16 years 16 days 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»
16 years 4 days 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
16 years 9 days 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 8 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...
APSCC
2009
IEEE
16 years 21 days 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