6554 search results - page 929 / 1311 » Constraint Logic Programming |
144
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...
161
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
136
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
148
click to vote
SPLC
2008
15 years 7 months ago
2008
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...
200
click to vote
IWUC
2004
15 years 7 months ago
2004
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...