354 search results - page 31 / 71 » Constraints of Behavioural Inheritance |
FORTE
2007
15 years 1 months ago
2007
Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. Howev...
CSUR
2000
14 years 11 months ago
2000
: Object-oriented frameworks have extended reusability of software from code modules to architectural and domain information. This paper further extends software reusability from c...
140
click to vote
ICCV
1999
IEEE
16 years 26 days ago
1999
IEEE
We present an algorithm that extracts curves from a set of edgels within a specific class in a decreasing order of their ``length''. The algorithm inherits the perceptual...
FM
2005
Springer
15 years 5 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
SIGMOD
1989
ACM
15 years 3 months ago
1989
ACM
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...