4460 search results - page 602 / 892 » Formal methods for interactive systems |
144
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Cyberinfrastructures bring together distributed resources to support scientific discoveries. Cyberinfrastructures currently under development are intended to enable the cooperativ...
119
click to vote
CHI
2003
ACM
15 years 12 months ago
2003
ACM
When designing automated systems that make decisions about when to allow or deny interruptions, the methods of professional interruption mediators are an important source of infor...
128
click to vote
HUC
2000
Springer
15 years 10 months ago
2000
Springer
The Notable annotation system enables users to annotate paper documents using handheld devices in a mobile environment. This paper describes the design issues and solutions that a...
185
click to vote
PRESENCE
1998
15 years 6 months ago
1998
In order for a virtual environment to be effective as a training tool, it is not enough to concentrate on the fidelity of the renderings and the accuracy of the simulated behavior...
124
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We introduce a browser evaluation test (BET), and describe a trial run application of the test. BET is a method for assessing meeting browser performance using the number of obser...