17920 search results - page 3460 / 3584 » Recentering computer science |
150
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
Database storage managers have long been able to efficiently handle multiple concurrent requests. Until recently, however, a computer contained only a few single-core CPUs, and th...
154
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we formalize the novel concept of Constrained Reverse k-Nearest Neighbor (CRkNN) search on mobile objects (clients) performed at a central server. The CRkNN query c...
128
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
144
click to vote
HAPTICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Recent findings have shown that humans can adapt their internal control model to account for the changing dynamics of systems they manipulate. In this paper, we explore the effect...
146
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
Relay selection for cooperative communications has attracted considerable research interest recently. While several criteria have been proposed for selecting one or more relays an...