1550 search results - page 143 / 310 » Benchmarking for Graph Transformation |
131
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
117
Voted
CORR
2000
Springer
15 years 3 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
150
Voted
ICEIS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
188
click to vote
IPAW
2010
15 years 1 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...
114
Voted
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...