11160 search results - page 1810 / 2232 » Incompleteness in a General Setting |
196
click to vote
MOBISYS
2006
ACM
16 years 7 months ago
2006
ACM
While 802.11-based wireless hotspots are proliferating, users often have little recourse when the network does not work or performs poorly for them. They are left trying to manual...
222
click to vote
MOBISYS
2004
ACM
16 years 7 months ago
2004
ACM
The performance of Wireless Local Area Networks (WLANs) often suffers from link-layer frame losses caused by noise, interference, multipath, attenuation, and user mobility. We obs...
238
click to vote
WSDM
2010
ACM
16 years 5 months ago
2010
ACM
We consider a set of views stating possibly conflicting facts. Negative facts in the views may come, e.g., from functional dependencies in the underlying database schema. We want ...
183
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
194
click to vote
EUROSYS
2007
ACM
16 years 4 months ago
2007
ACM
We present a memory-aware load balancing (MALB) technique to dispatch transactions to replicas in a replicated database. Our MALB algorithm exploits knowledge of the working sets ...