3446 search results - page 422 / 690 » A Reasoning Algorithm for pD* |
194
click to vote
ICDCS
2011
IEEE
14 years 5 months ago
2011
IEEE
—The number of real-world applications that require QoS guarantees is constantly increasing and they often follow the publish/subscribe (pub/sub) messaging paradigm, which provid...
231
Voted
ICDE
2012
IEEE
14 years 5 months ago
2012
IEEE
Top-k pairs queries have received significant attention by the research community. k-closest pairs queries, k-furthest pairs queries and their variants are among the most well stu...
188
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
211
click to vote
PPOPP
2012
ACM
14 years 1 months ago
2012
ACM
Existing concurrency platforms for dynamic multithreading do not provide repeatable parallel random-number generators. This paper proposes that a mechanism called pedigrees be bui...
215
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—Collaborative spectrum sensing has been regarded as a promising approach to enable secondary users to detect primary users by exploiting spatial diversity. In this paper, we con...