Usability Analysis with Markov Models

ACM Transactions on Computer-Human Interaction

Volumn 8, Issue 2, 2001, Pages 99-132

  Thimbleby, Harold ^a   Cairns, Paul ^a   Jones, Matt ^a  

^a MIDDLESEX UNIVERSITY   (United Kingdom)

Author keywords

Design; Human Factors; Markov models; Performance; usability analysis

Indexed keywords

EID: 84902446099     PISSN: 10730516     EISSN: 15577325     Source Type: Journal    
DOI: 10.1145/376929.376941     Document Type: Article

References (36)

1. Baldi, M., Macii, A., Macii, E., and Poncio, M. 1999. Application of Symbolic FSM Markovian Analysis to Protocol Verification, IEE Proceedings on Computers and Digital Techniques 146, 5, 221-226
2. Card, S. K., Moran, T. P., and Newell, A. 1983. The Psychology of Human-Computer Interaction, Erlbaum
3. Card, S. K., Pirolli, P., and Mackinlay, J. D. 1994. The Cost-of-Knowledge Characteristic Function: Display Evaluation for Direct-Walk Dynamic Information Visualizations, Proceedings CHI'94, ACM Conference on Human Factors in Computing Systems, Boston, 238-244
4. Cook, J. E. and Wolf, A. L. 1998. Discovery Models of Software Processes from Event-based Data, ACM Transactions on Software Engineering and Methodology 7, 3, 215-249
5. Deavours, D. D. and Sanders, W. H. 1998. On-the-fly Solution Techniques for Stochastic Petri Nets and Extensions, IEEE Transactions on Software Engineering24, 10, 889-902
6. Feynman, R. P. 1996. Feynman Lectures on Computation, edited by J. G. Hey and R. W. Allen, Addison-Wesley
7. Grimmett, G. R. and Stirzaker, D. R. 1992. Probability and Random Processes, 2nd ed., OUP
8. Halbwachs, N. 1993. Synchronous Programming of Reactive Systems, Kluwer Academic Publishers
9. Harel, D. 1988. On Visual Formalisms, Communications of the ACM 31, 5, 514-530
10. Harel, D. and Politi, M. 1998. Modeling Reactive Systems with Statecharts: The Statemate Approach, McGraw-Hill
11. Jones, M. and Woodland, P. C. 1994. Modelling Syllable Characteristics to Improve a Large Vocabulary Continous Speech Recogniser. Proceedings ICSLP'94, 2171-2714, Yokohama, Japan
12. Knuth, D. E. 1998. The Art of Computer Programming 2, 3rd ed., Addison Wesley Longman
13. Kieras, D. and Polson, P. G. 1985. An Approach to the Formal Analysis of User Complexity, International Journal of Man-Machine Studies 22, 4, 365-394
14. Lewis, H. R. and Papadimitriou, C. H. 1998. Elements of The Theory of Computation, 2nd ed., Prentice-Hall International
15. Magee. J. and Kramer, J. 1999. Concurrency, State Models and Java Programs, John Wiley and Sons
16. Miller, B. P., Fredriksen, L., and So, B. 1990. An Empirical Study of the Reliability of Unix Utilities, Communications of the ACM 33, 12, 32-44
17. Monk, A. F. and Curry, M. B. 1994. Discount Modelling with Action Simulator, Proceedings BCS Conference on HCI, HCI'94, People and Computers, IX, edited by G. Cockton, S. W. Draper and G. R. S. Weir, 327-338, Cambridge University Press
18. Newman, W. M. and Lamming, M. G. 1995. Interactive System Design, Addison-Wesley
19. Palanque, P. and Paterno, F., Eds., 1998. Formal Methods in Human-Computer Interaction, Springer-Verlag
20. Seneta, E. 1981. Non-negative Matrices and Markov Chains, 2nd ed., Springer-Verlag
21. Sharp, J. 1998. Interaction Design for Electronic Products using Virtual Simulations, Ph.D. thesis, Brunel University
22. Shneiderman, B. 1998. Designing The User Interface, 3rd ed., Addison-Wesley
23. Silfverberg, M., Mackenzie, I. S., and Korhonen, P. 2000. Predicting Text Entry Speed on Mobile Phones, Proceedings ACM CHI'2000, 9-16
24. Stanton, N. A. and Young, M. S. 1999. What Price Ergonomics? Nature 399, 6733, 197-198
25. Thimbleby, H. W. 1992. The Frustrations of a Pushbutton World, 1993 Encyclopedia Britannica Yearbook of Science and Future Technology, 202-219, Encyclopedia Britannica Inc
26. Thimbleby, H. W. and Witten, I. H. 1993. User Modelling as Machine Indentification: New Design Methods for HCI, in D. Hix and R. Hartson, Eds., Advances in Human Computer Interaction IV, 58-86, Ablex
27. Thimbleby, H. W. 1994. Formulating Usability, ACM SIGCHI Bulletin 26, 2, 59-64
28. Thimbleby, H. W. and Addison, M. A. 1996. Intelligent Adaptive Assistance and Its Automatic Generation, Interacting with Computers 8, 1, 51-68
29. Thimbleby, H. W. 1996. Internet, Discourse and Interaction Potential, in L. K. Yong, L. Herman, Y. K. Leung, and J. Moyes, Eds., First Asia Pacific Conference on Human Computer Interaction, Singapore, 3-18
30. Thimbleby, H. W. 1997. Design for a Fax, Personal Technologies 1, 2, 101-117
31. Thimbleby, H. W. 1999. Specification-led Design, Personal Technologies 2, 4, 241-254
32. Thimbleby, H. 2000. Analysis and Simulation of User Interfaces, Proceedings of BCS Conference on Human Computer Interaction, in press
33. Whittaker, J. A. and Poore, J. H. 1993. Markov Analysis of Software Specifications, ACM Transactions on Software Engineering and Methodology 2, 1, 93-106
34. Wolfram, S. 1996. The Mathematica Book, 3rd ed., Addison-Wesley
35. Wasserman, A. I. 1985. Extending State Transition Diagrams for the Specification of Human-Computer Interaction, IEEE Transactions on Software Engineering 11, 8, 699-713
36. Young, S. J. 1993. The HTK Hidden Markov Model Toolkit: Design and Philosophy, Cambridge University Engineering Department Technical Report CUED/F-INFENG/TR. 152