Sciweavers

2214 search results - page 49 / 443
» Initial Design of the
Sort
View
DSVIS
1998
Springer
13 years 12 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
CORR
2002
Springer
104views Education» more  CORR 2002»
13 years 7 months ago
Design Patterns for Functional Strategic Programming
We believe that design patterns can be an effective means of consolidating and communicating program construction expertise for functional programming, just as they have proven to...
Ralf Lämmel, Joost Visser
CHINZ
2005
ACM
13 years 9 months ago
InkKit: a generic design tool for the tablet PC
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
Ronald Chung, Petrut Mirica, Beryl Plimmer
HICSS
2002
IEEE
73views Biometrics» more  HICSS 2002»
14 years 20 days ago
Informed Consent in the Mozilla Browser: Implementing Value Sensitive Design
This paper reports on one of the first efforts to apply Value-Sensitive Design (VSD) to a large-scale real-world software system. We sought to improve informed consent in Web-base...
Batya Friedman, Daniel C. Howe, Edward W. Felten
TVCG
2008
126views more  TVCG 2008»
13 years 7 months ago
Usability Engineering for Augmented Reality: Employing User-Based Studies to Inform Design
A major challenge, and thus opportunity, in the field of human-computer interaction and specifically usability engineering is designing effective user interfaces for emerging techn...
Joseph L. Gabbard, J. Edward Swan II