2089 search results - page 300 / 418 » Finding Environment Guarantees |
154
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Previous results have shown that users perform better on spatial orientation tasks involving static 2D scenes when working on physically large displays as compared to small ones. ...
124
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
126
click to vote
MOBISYS
2003
ACM
16 years 4 months ago
2003
ACM
Wireless local-area networks are becoming increasingly popular. They are commonplace on university campuses and inside corporations, and they have started to appear in public area...
146
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Heterogeneous computing systems composed of interconnected machines with varied computational capabilities often operate in environments where there may be sudden machine failures...
139
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we study how argumentation can be used as a basis for negotiation between autonomous agents, where negotiation strategies of the different parties are represented a...