Sciweavers

866 search results - page 46 / 174
» Bidirectionalizing graph transformations
Sort
View
PR
2007
141views more  PR 2007»
14 years 9 months ago
A Riemannian approach to graph embedding
In this paper, we make use of the relationship between the Laplace–Beltrami operator and the graph Laplacian, for the purposes of embedding a graph onto a Riemannian manifold. T...
Antonio Robles-Kelly, Edwin R. Hancock
ENTCS
2007
108views more  ENTCS 2007»
14 years 9 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
DATE
2003
IEEE
90views Hardware» more  DATE 2003»
15 years 3 months ago
Mapping Applications to an FPFA Tile
Abstract— This paper introduces a transformational design method which can be used to map code written in a high level source language, like C, to a coarse grain reconfigurable ...
Michèl A. J. Rosien, Yuanqing Guo, Gerard J...
ENTCS
2008
106views more  ENTCS 2008»
14 years 9 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
ICCS
2005
Springer
15 years 3 months ago
Hierarchical Knowledge Integration Using Layered Conceptual Graphs
Abstract We describe the ‘Hierarchical as View’ approach to knowledge integration from heterogeneous sources. This is based on a novel representation called Layered Conceptual ...
Madalina Croitoru, Ernesto Compatangelo, Chris Mel...