1484 search results - page 1 / 297 » Modelling with Relational Calculus of Object and Component S... |
CADE
2004
Springer
13 years 10 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
KI
2009
Springer
13 years 11 months ago
2009
Springer
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...
ECOOP
1995
Springer
13 years 8 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
LICS
1994
IEEE
13 years 9 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
AINA
2006
IEEE
13 years 8 months ago
2006
IEEE
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence,...