Communicating sequential processes
Communicating sequential processes
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Structuring dialogues using CSP
Formal methods in human-computer interaction
The phenotype of erroneous actions
International Journal of Man-Machine Studies
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Reaching for objects in VR displays: lag and frame rate
ACM Transactions on Computer-Human Interaction (TOCHI)
A compositional approach to performance modelling
A compositional approach to performance modelling
Using Hybrid Automata to Support Human Factors Analysis in a Critical System
Formal Methods in System Design
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Temporal Patterns for Complex Interaction Design
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
A Tool Suite for Integrating Task and System Models through Scenarios
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Model-Checking for Probabilistic Real-Time Systems (Extended Abstract)
ICALP '91 Proceedings of the 18th International Colloquium on Automata, Languages and Programming
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Handbook of Human Factors and Ergonomics
Handbook of Human Factors and Ergonomics
Fitts' law as a research and design tool in human-computer interaction
Human-Computer Interaction
Modelling Dynamic Group Behaviours
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Distributed Multimedia System Design: A Holistic Perspective
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Extending the equivalent transformation framework to model dynamic interactive systems
WSEAS Transactions on Computers
Analysis of pointing tasks on a white board
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Scalable analysis of collective behaviour in smart service systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Towards model checking stochastic aspects of the thinkteam user interface
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Hi-index | 0.00 |
Several techniques for specification exist to capture certain aspects of user behaviour, with the goal of reasoning about the usability of the system and other human-factors related issues. One such approach is to encode a set of assumptions about user behaviour in a user model. A difficulty with this approach is that human behaviour is inherently nondeterministic; humans make errors, perform unexpected actions, and, taken individually, both the occurrence of errors and response times can be unpredictable. Such factors, however can be expected to follow probability distributions, and so an interesting possibility is to apply stochasticor probabilistictec hniques that allow the modelling of uncertainty in user models. Recently, a number of process algebra based approaches to specifying stochastic systems have been proposed and in this paper we examine the possibility of applying these stochastic modelling techniques to reasoning about performance aspects of interactive systems.