973 search results - page 30 / 195 » Usability: not as we know it! |
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...
64
Voted
CHI
2005
ACM
16 years 6 days ago
2005
ACM
We first describe the Human Factors and Ergonomics Society (HFES), then our challenges with respect to meeting the needs of multidisciplinary professionals. We discuss how HFES ha...
118
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
106
click to vote
HCI
2007
15 years 1 months ago
2007
The aim of this study is to investigate the usability and usefulness of interactive tabletop technologies to support group creativity. We implemented a tabletop interface enabling ...
CIDR
2009
15 years 28 days ago
2009
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...