584 search results - page 15 / 117 » Generative Programming of graphical user interfaces |
89
Voted
RE
2001
Springer
15 years 4 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
102
Voted
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
The proliferation of graphical user interfaces has had a dramatic impact on the ability to work as a programmer. It is particularly difficult for the blind to create forms for vis...
103
click to vote
MHCI
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
93
Voted
UIST
2010
ACM
14 years 9 months ago
2010
ACM
This paper introduces architectural and interaction patterns for integrating crowdsourced human contributions directly into user interfaces. We focus on writing and editing, compl...
81
Voted
PUC
2006
14 years 11 months ago
2006
Traditional remote controls typically allow users to activate functionality of a single device. Given that users activate a subset of functionality across devices to accomplish a p...