561 search results - page 57 / 113 » How to operate a PC without using the hands |
WEBI
2004
Springer
15 years 6 months ago
2004
Springer
Many situations present a social choice problem where different self-interested agents have to agree on joint, coordinated decisions. For example, power companies have to agree o...
119
click to vote
SIGMETRICS
2004
ACM
15 years 6 months ago
2004
ACM
The performance of IP networks depends on a wide variety of dynamic conditions. Traffic shifts, equipment failures, planned maintenance, and topology changes in other parts of th...
108
click to vote
ICCD
2006
IEEE
15 years 10 months ago
2006
IEEE
— As silicon CMOS devices are scaled down into the nanoscale regime, new challenges at both the device and system level are arising. While some of these challenges will be overco...
131
click to vote
HOTNETS
2010
14 years 8 months ago
2010
There are a lot of applications that run on modern mobile operating systems. Inevitably, some of these applications fail in the hands of users. Diagnosing a failure to identify the...
103
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...