Sciweavers

259 search results - page 23 / 52
» On the Usability Evaluation of E-Learning Applications
Sort
View
IJAIT
2006
106views more  IJAIT 2006»
14 years 11 months ago
An Empirical Evaluation of Automated Theorem Provers in Software Certification
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
Ewen Denney, Bernd Fischer 0002, Johann Schumann
CHI
2006
ACM
16 years 4 days ago
Developing user interface guidelines for DVD menus
Watching DVDs can be a frustrating experience, because DVD menus often miss out on usability and are complex and difficult to navigate through. Similar to the early years of web d...
Karin Kappel, Martin Tomitsch, Thomas Grechenig, T...
HUC
2007
Springer
15 years 6 months ago
Why It's Worth the Hassle: The Value of In-Situ Studies When Designing Ubicomp
How should Ubicomp technologies be evaluated? While lab studies are good at sensing aspects of human behavior and revealing usability problems, they are poor at capturing context o...
Yvonne Rogers, Kay Connelly, Lenore Tedesco, Willi...
HUC
2010
Springer
14 years 9 months ago
Locaccino: a privacy-centric location sharing application
Locaccino is a location sharing application designed to empower users to effectively control their privacy. It has been piloted by close to 2000 users and has been used by researc...
Eran Toch, Justin Cranshaw, Paul Hankes Drielsma, ...
BCSHCI
2007
15 years 1 months ago
Eye tracking in practice
This paper describes the practical side of eye tracker use in the field of human computer interaction. The paper relates to usability evaluations in practice covering those topics...
James A. Renshaw, N. Webb