1940 search results - page 86 / 388 » Graph Transformation with Variables |
120
click to vote
GBRPR
2009
Springer
15 years 9 months ago
2009
Springer
A large family of shape comparison methods is based on a medial axis transform combined with an encoding of the skeleton by a graph. Despite many qualities this encoding of shapes ...
119
click to vote
AUTOMATICA
2010
15 years 3 months ago
2010
Based on the linear expression of the dynamics of Boolean networks, the coordinate transformation of Boolean variables is defined. It follows that the state space coordinate trans...
180
Voted
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
108
click to vote
ECEASST
2008
15 years 3 months ago
2008
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...
122
click to vote
ENTCS
2006
15 years 3 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...