6300 search results - page 140 / 1260 » We have it easy, but do we have it right |
114
click to vote
OSDI
2004
ACM
16 years 1 months ago
2004
ACM
Recent work has focused on increasing availability in the face of Internet path failures. To date, proposed solutions have relied on complex routing and pathmonitoring schemes, tr...
BCSHCI
2007
15 years 2 months ago
2007
When designing purely physical products we do not necessarily have to understand what it is about their physicality that makes them work - they simply have it. However, as we desi...
103
click to vote
AIED
2007
Springer
15 years 7 months ago
2007
Springer
The main goal of the work presented here is to allow for the broader dissemination of intelligent tutoring technology. To accomplish this goal, we have two clear objectives. First,...
CAV
2006
Springer
15 years 5 months ago
2006
Springer
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
105
click to vote
LATIN
2004
Springer
15 years 6 months ago
2004
Springer
In a preceding paper [6], automata have been introduced for words indexed by linear orderings. These automata are a generalization of automata for finite, infinite, bi-infinite...