4287 search results - page 292 / 858 » Minimal Mental Models |
223
click to vote
ACISICIS
2005
IEEE
16 years 26 days ago
2005
IEEE
Ubiquitous computing is viewed as a computing paradigm where minimal user intervention is necessitated emphasizing detection of environmental conditions and user behaviors in orde...
172
click to vote
CAV
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
224
click to vote
EGC
2005
Springer
16 years 23 days ago
2005
Springer
This paper is about optimizing Grid application setup by allowing a user to configure a Grid application on her own PC and thereafter migrating the entire application onto the Gri...
158
click to vote
IFIP
2004
Springer
16 years 18 days ago
2004
Springer
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...
220
click to vote
IPSN
2004
Springer
16 years 18 days ago
2004
Springer
In this paper, we study the optimal way of distributing sensors in a random field to minimize the estimation distortion. We show that this problem is equivalent to certain proble...