1856 search results - page 339 / 372 » Formal Dialectic Specification |
123
click to vote
WWW
2008
ACM
15 years 1 months ago
2008
ACM
A geographic search request contains a query consisting of one or more keywords, and a search-location that the user searches for. In this paper, we study the problem of discoveri...
107
click to vote
PVLDB
2008
15 years 1 months ago
2008
Where can I attend an interesting database workshop close to a sunny beach? Who are the strongest experts on service computing based upon their recent publication record and accep...
134
click to vote
ICDE
2010
IEEE
14 years 12 months ago
2010
IEEE
In this paper, we propose the Hybrid-Layer Index (simply, the HL-index) that is designed to answer top-k queries efficiently when the queries are expressed on any arbitrary subset ...
130
click to vote
OPODIS
2010
14 years 11 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
160
click to vote
SP
2010
IEEE
14 years 11 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...