4508 search results - page 539 / 902 » Design of human-map system interaction |
211
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
150
click to vote
FAST
2003
15 years 8 months ago
2003
We show how untrusted computers can be used to facilitate secure mobile data access. We discuss a novel architecture, data staging, that improves the performance of distributed ï¬...
172
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Users generally have difficulty understanding and managing computer security tasks. We examined Nintendo's Brain Age games for ways to help users remember more secure passwor...
152
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this video we present a special guitar that combines physical acoustic properties with virtual capabilities. A wooden resonator - a unique, replaceable piece of wood that gives...
155
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We investigate the effect of placement and user mobility on the time required to access an on-body interface. In our study, a wrist-mounted system was significantly faster to acce...