School of Computing

Performance of reactive interfaces in stimulus rich environments, applying formal methods and cognitive frameworks

H. Bowman, Su Li, and Brad Wyble

Technical Report 6-06, University of Kent, Computing Laboratory, September 2006.

Abstract

Previous research has developed a formal methods-based (cognitive-level) model of the ICS central engine, with which we have simulated attentional capture in the context of Barnard'd key-distractor Attentional Blink task. The same core system would be at work when human operators interact with computer interfaces. Thus, we have used this model to evaluate the performance trade-offs that would arise from varying key parameters in Stimulus Rich Reactive Interfaces (SRRIs). The results of these evaluations are presented in this paper. A strength of formal methods is that they are abstract and thus, the resulting specifications of the operator are general purpose, ensuring that our findings are broadly applicable.

Download publication 246 kbytes (PDF)

Bibtex Record

@techreport{2420,
author = {H. Bowman and Su Li and Brad Wyble},
title = {Performance of Reactive Interfaces in Stimulus Rich Environments, applying Formal Methods and Cognitive Frameworks},
month = {September},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2420},
    publication_type = {techreport},
    submission_id = {3744_1158229868},
    type = {Technical Report},
    number = {6-06},
    institution = {University of Kent, Computing Laboratory},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014