9028 search results - page 1607 / 1806 » Human-Computer Interaction Experiments |
221
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
195
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
One of the visions of pervasive computing is using mobile computers to interact with networked devices. A question raised by this vision is: Should the userinterfaces of these dev...
168
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we introduce the Inverted Browser, a novel approach to enable mobile users to view content from their personal devices on public displays. The Inverted Browser is a ...
184
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Several researchers have pointed out and begun to demonstrate that it is now possible to digitize an entire lifetime of experiences into a pocket-sized storage device, and thus to...
219
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
It is expected that more and more people will search the web when they are on the move. Though conventional search engines can be directly visited from mobile devices with web bro...