4460 search results - page 579 / 892 » Formal methods for interactive systems |
143
click to vote
CHINZ
2006
ACM
16 years 18 days ago
2006
ACM
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media and our experiences with the methodic approach employed. As a central elemen...
187
click to vote
TOG
2012
13 years 9 months ago
2012
Humans have used sketching to depict our visual world since prehistoric times. Even today, sketching is possibly the only rendering technique readily available to all humans. This...
156
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Despite the long history and consistent use of quantitative empirical methods to evaluate information visualization techniques and systems, our understanding of interface use rema...
170
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
145
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Text passwords are the primary authentication method used for most online services. Many online users select weak passwords. Regrettably, most proposed methods of strengthening pa...