354 search results - page 15 / 71 » Constraints of Behavioural Inheritance |
CP
2003
Springer
15 years 4 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
116
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
FORTE
2004
15 years 1 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
113
click to vote
CP
1995
Springer
15 years 3 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
SIGMOD
2003
ACM
15 years 12 months ago
2003
ACM
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...