103 search results - page 21 / 21 » A Formal Methods Approach to Medical Device Review |
CHI
2002
ACM
14 years 5 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
In this paper, we report on an interactive system and the results ofa formal user study that was carried out with the aim of comparing two approaches to estimating users' int...
FUIN
2008
13 years 4 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....