147 search results - page 15 / 30 » Unfolding semantics of graph transformation |
132
click to vote
IPAW
2010
14 years 7 months ago
2010
Data provenance graphs are form of metadata that can be used to establish a variety of properties of data products that undergo sequences of transformations, typically specified as...
161
click to vote
ICCS
2010
Springer
14 years 8 months ago
2010
Springer
Though similarities between the Semantic Web language RDF(S) and languages of the Conceptual Graphs family have often been pointed out, the differences between these formalisms hav...
70
Voted
ENTCS
2008
14 years 9 months ago
2008
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
76
Voted
ENTCS
2006
14 years 9 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...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...