1969 search results - page 188 / 394 » Pattern Languages in Interaction Design |
129
Voted
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
114
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
The Internet has fostered an unconventional and powerful style of collaboration: "wiki" web sites, where every visitor has the power to become an editor. In this paper w...
169
Voted
FORTE
2009
15 years 1 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
138
click to vote
IUI
2012
ACM
13 years 11 months ago
2012
ACM
We demonstrate our airwriting interface for mobile handsfree text entry. The interface enables a user to input text into a computer by writing in the air like on an imaginary blac...
132
Voted
CHI
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we describe the design and preliminary evaluation of a hybrid desktop-handheld system developed to support individuals with aphasia, a disorder which impairs the ab...