3771 search results - page 87 / 755 » Subobject Transformation Systems |
139
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
150
click to vote
DIWEB
2004
15 years 4 months ago
2004
Abstract. This paper describes how the AutoMed data integration system is being extended to support the integration of heterogeneous XML documents. So far, the contributions of thi...
123
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
103
click to vote
JSC
2002
15 years 2 months ago
2002
This paper describes algorithms for computing the structure of finite transformation semigroups. The algorithms depend crucially on a new data structure for an R-class in terms of...
115
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...