4074 search results - page 128 / 815 » Abstract Graph Transformation |
125
click to vote
TIME
2005
IEEE
15 years 7 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...
106
Voted
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
DAC
1996
ACM
15 years 5 months ago
1996
ACM
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
161
click to vote
APLAS
2001
ACM
15 years 5 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
139
Voted
DIWEB
2004
15 years 3 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...