211 search results - page 7 / 43 » Towards A Shape Analysis for Graph Transformation Systems |
129
click to vote
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
3D shape modeling is a crucial component of rapid prototyping systems that customize shapes of implants and prosthetic devices to a patient's anatomy. In this paper, we presen...
112
click to vote
SLP
1997
15 years 5 months ago
1997
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are am...
141
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
150
click to vote
IFM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
129
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...