5075 search results - page 941 / 1015 » Model-based interface development |
130
click to vote
PPOPP
2009
ACM
16 years 11 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
117
click to vote
MOBISYS
2009
ACM
16 years 11 days ago
2009
ACM
PEIR, the Personal Environmental Impact Report, is a participatory sensing application that uses location data sampled from everyday mobile phones to calculate personalized estima...
107
click to vote
CHI
2007
ACM
16 years 7 days ago
2007
ACM
The use of location-based technology to augment visitor experiences has received considerable attention over the years. In this paper, we take an alternative perspective on these ...
104
click to vote
CHI
2006
ACM
16 years 7 days ago
2006
ACM
People come to online communities seeking information, encouragement, and conversation. When a community responds, participants benefit and become more committed. Yet interactions...
CHI
2006
ACM
16 years 7 days ago
2006
ACM
Many systems provide the user with a limited viewport of a larger graphical workspace. In these systems, the user often needs to find and select targets that are in the workspace,...