9110 search results - page 1777 / 1822 » Formally-Based Design Evaluation |
136
click to vote
GLOBE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. As data volumes processed by large-scale distributed dataintensive applications grow at high-speed, an increasing I/O pressure is put on the underlying storage service, w...
113
click to vote
HUC
2010
Springer
15 years 2 months ago
2010
Springer
We present a study that evaluates the effectiveness of augmenting on-screen instructions with micro-projection for manual task guidance unlike prior work, which replaced screen in...
117
click to vote
MM
2010
ACM
15 years 2 months ago
2010
ACM
We study the problem of improving the user perceived quality of online games in which multiple players form a game session and exchange game-state updates over an overlay network....
129
click to vote
MOBISYS
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents MAUI, a system that enables fine-grained energy-aware offload of mobile code to the infrastructure. Previous approaches to these problems either relied heavily...
109
click to vote
AES
2008
Springer
15 years 2 months ago
2008
Springer
Artificial neural networks (ANN's) are associated with difficulties like lack of success in a given problem and unpredictable level of accuracy that could be achieved. In eve...