Sciweavers

659 search results - page 94 / 132
» Using formal models to design user interfaces: a case study
Sort
View
IUI
2005
ACM
14 years 2 months ago
Metafor: visualizing stories as code
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
Hugo Liu, Henry Lieberman
ICSE
2003
IEEE-ACM
14 years 8 months ago
RUPi - A Unified Process that Integrates Human-Computer Interaction and Software Engineering
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
Kênia Soares Sousa, Elizabeth Furtado
CHI
2009
ACM
14 years 9 months ago
Enhancing input device evaluation: longitudinal approaches
Jens Gerken HCI Group, University of Konstanz Box D-73 78457 Konstanz, Germany jens.gerken@uni-konstanz.de Hans-Joachim Bieg HCI Group, University of Konstanz Box D-73 78457 Konsta...
Jens Gerken, Hans-Joachim Bieg, Stefan Dierdorf, H...
SIGMOD
2007
ACM
133views Database» more  SIGMOD 2007»
14 years 8 months ago
Making database systems usable
Database researchers have striven to improve the capability of a database in terms of both performance and functionality. We assert that the usability of a database is as importan...
H. V. Jagadish, Adriane Chapman, Aaron Elkiss, Mag...
PERCOM
2008
ACM
14 years 8 months ago
Provably Correct Pervasive Computing Environments
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
Anand Ranganathan, Roy H. Campbell