1357 search results - page 58 / 272 » Compositionality in Graph Transformation |
135
Voted
INFORMATICALT
2000
15 years 2 months ago
2000
An original algorithm for transformation of finite automata to regular expressions is presented. This algorithm is based on effective graph algorithms and gives a transparent new p...
117
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
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...
136
Voted
ICWS
2008
IEEE
15 years 4 months ago
2008
IEEE
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...
116
Voted
TIME
2007
IEEE
15 years 9 months ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...