2911 search results - page 439 / 583 » A Logic of Graph Constraints |
79
Voted
ECTEL
2006
Springer
15 years 4 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...
94
Voted
AAAI
2008
15 years 3 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
106
Voted
FMOODS
2008
15 years 2 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
85
Voted
SPLC
2008
15 years 2 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...
131
click to vote
IWUC
2004
15 years 2 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...