4426 search results - page 233 / 886 » Concurrent Constraint Programming |
149
click to vote
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
157
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
174
click to vote
APLAS
2000
ACM
15 years 11 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
279
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Today's models for propagation-based constraint solvers require propagators as implementations of constraints to be at least contracting and monotonic. These models ...
165
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...