4581 search results - page 117 / 917 » Interaction design patterns for computers in sociable use |
192
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Tuning tools attempt to configure a database to achieve optimal performance for a given workload. Selecting an optimal set of physical structures is computationally hard since it ...
167
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
173
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
158
click to vote
INTETAIN
2005
Springer
15 years 12 months ago
2005
Springer
Public spaces are interactive by the very fact that they are designed to be looked at, walked around, and used by multitudes of people on a daily basis. Architects design such spac...
177
click to vote
CHI
2004
ACM
15 years 12 months ago
2004
ACM
We seek to improve the experience of using pen computing devices by augmenting them with haptic, tactile feedback displays. We present the design of the haptic display for pen com...