8658 search results - page 246 / 1732 » Models of Command and Control |
152
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
Pen-based user interfaces are becoming ever more popular. Gestures (i.e., marks made with a pen to invoke a command) are a valuable aspect of pen-based UIs, but they also have dra...
160
click to vote
MOBICOM
1999
ACM
15 years 11 months ago
1999
ACM
Computing and telecommunications are maturing, and the next century promises a shift away from technology-driven general-purpose devices. Instead, we will focus on the needs of co...
236
click to vote
UIST
1992
ACM
15 years 10 months ago
1992
ACM
Distributed clientisewer models are becoming increasingly prevalent in multimedia systems and advanced user interface design. A multimedia application, for example, may play and r...
196
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
179
click to vote
UIST
1995
ACM
15 years 10 months ago
1995
ACM
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...