2722 search results - page 229 / 545 » The Model Evolution Calculus |
125
click to vote
CIDR
2003
15 years 5 months ago
2003
Model management is a new approach to meta data management that offers a higher level programming interface than current techniques. The main abstractions are models (e.g., schema...
127
click to vote
ER
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We investigate the computational complexity of reasoning over temporal extensions of conceptual data models. The temporal conceptual models we analyse include the standar...
117
click to vote
RELMICS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
142
Voted
CLUSTER
2000
IEEE
15 years 8 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
116
click to vote
AIMSA
2000
Springer
15 years 8 months ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...