354 search results - page 37 / 71 » Constraints of Behavioural Inheritance |
ICDM
2008
IEEE
15 years 6 months ago
2008
IEEE
Motivated by the need for unification of the field of data mining and the growing demand for formalized representation of outcomes of research, we address the task of constructi...
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
114
click to vote
FOIKS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
107
click to vote
VLDB
1991
ACM
15 years 3 months ago
1991
ACM
: This paper describes a design methodology for an object oriented database,basedon a semantic network. This approach is based on the assumption that Yemanticdata models are more p...
CP
2008
Springer
15 years 1 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...