947 search results - page 42 / 190 » Declarative Programming in Prolog |
ALGOSENSORS
2006
Springer
15 years 1 months ago
2006
Springer
Programming Wireless Networks of Embedded Systems (WNES) is notoriously difficult and tedious. To simplify WNES programming, we propose Declarative Resource Naming (DRN) to progra...
191
click to vote
COSIT
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
168
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
EXACT
2008
14 years 12 months ago
2008
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications ...