8446 search results - page 1281 / 1690 » A Process Compensation Language |
272
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
163
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract We revisit the classical QuickSort and QuickSelect algorithms, under a complexity model that fully takes into account the elementary comparisons between symbols composing ...
147
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
240
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Mashup is a new application development approach that allows users to aggregate multiple services to create a service for a new purpose. Even if the Mashup approach opens new and ...
137
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We present an update on the status of the Cougar Sensor Database Project, in which we are investigating a database approach to sensor networks: Clients "program" the sen...