3583 search results - page 125 / 717 » A Type System for the Relational Calculus of Object Systems |
DAGSTUHL
2006
13 years 10 months ago
2006
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
ICCV
2003
IEEE
14 years 11 months ago
2003
IEEE
While navigating in an environment, a vision system has to be able to recognize where it is and what the main objects in the scene are. In this paper we present a contextbased vis...
ISTA
2004
13 years 10 months ago
2004
: The article proposes a conceptual modeling technique based on Semantically Complete model, the main property of which is that relations carry complete information about interconn...