3481 search results - page 337 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
190
click to vote
ICLA
2011
Springer
14 years 8 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
123
click to vote
CSUR
1999
15 years 4 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
130
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
Pervasive context-aware software is an emerging kind of application. Smart personal digital assistants and RFID-based location sensing software are two examples. Many of these sys...
123
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The number of embedded systems is increasing and a remarkable percentage is designed as mobile applications. For the latter, the energy consumption is a limiting factor because of...
155
click to vote
ENTCS
2008
15 years 4 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...