1940 search results - page 56 / 388 » Graph Transformation with Variables |
128
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
123
click to vote
CSC
2006
15 years 4 months ago
2006
In this paper, a new method is proposed in order to evaluate the stochastic solution of linear random differential equation. The method is based on the combination of the probabili...
109
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
105
Voted
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
105
click to vote
ENTCS
2008
15 years 2 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...