1940 search results - page 84 / 388 » Graph Transformation with Variables |
144
click to vote
CSCLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too ac...
124
click to vote
JBI
2004
15 years 4 months ago
2004
Metabolism can be regarded as a network of biochemical reactions, connected via their substrates and products. A metabolic pathway is thus a coordinated series of reactions, and i...
138
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
122
click to vote
ENTCS
2006
15 years 3 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
109
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...