325 search results - page 59 / 65 » The Algebraic Framework for Object-Oriented Systems |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
A (directed) network of people connected by ratings or trust scores, and a model for propagating those trust scores, is a fundamental building block in many of today's most s...
ADBIS
2004
Springer
14 years 1 months ago
2004
Springer
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague n...
AC
1992
Springer
13 years 11 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
ECOOP
1995
Springer
13 years 11 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...