Timespace in the workplace: dealing with interruptions
CHI '95 Conference Companion on Human Factors in Computing Systems
A compositional approach to performance modelling
A compositional approach to performance modelling
Formal modelling of task interruptions
Conference Companion on Human Factors in Computing Systems
Attuning notification design to user goals and attention costs
Communications of the ACM
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Fitts' law as a research and design tool in human-computer interaction
Human-Computer Interaction
Human-Computer Interaction
User interface declarative models and development environments: a survey
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Analysis of pointing tasks on a white board
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
A model-based approach for supporting engineering usability evaluation of interaction techniques
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
SETER: Towards Architecture-Model Based Security Engineering
International Journal of Secure Software Engineering
| Hi-index | 0.00 |
In many modern working environments interruptions are commonplace as users must temporarily suspend a task to complete an unexpected intervening activity. As users are faced with more and more sources of information competing for their attention, it is becoming increasingly important to understand how interruptions affect their abilities to complete tasks. This paper introduces a new perspective for research in this field by employing analytical, model-based techniques that are informed by well-established cognitive theories and empirical data available in the literature. We propose stochastic modelling and model checking to predict measures of the disruptive effects of interruptions to two well-known interaction techniques: Drag 'n Drop and Speak 'n Drop. The approach also provides a way to compare the resilience of different interaction techniques to the presence of external interruptions that users need to handle. The obtained results are in a form that allows validation with results obtained by empirical studies involving real users.