1940 search results - page 113 / 388 » Graph Transformation with Variables |
162
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
155
Voted
CORR
2010
Springer
15 years 1 days ago
2010
Springer
In this paper we propose a new wavelet transform applicable to functions defined on graphs, high dimensional data and networks. The proposed method generalizes the Haar-like transf...
140
click to vote
DAC
2001
ACM
16 years 4 months ago
2001
ACM
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
116
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
128
click to vote
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...