Performance of Reactive Interfaces in Stimulus Rich Environments, applying Formal Methods and Cognitive Frameworks

Bowman, Howard and Su, Li and Wyble, Brad (2006) Performance of Reactive Interfaces in Stimulus Rich Environments, applying Formal Methods and Cognitive Frameworks. Technical report. UKC (Full text available)

PDF
Download (252kB)
[img]
Preview

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.

Item Type: Monograph (Technical report)
Uncontrolled keywords: Reactive Interfaces, HCI, Stimulus Rich Environments, Formal Methods, Interacting Cognitive Subsystems
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Applied and Interdisciplinary Informatics Group
Faculties > Science Technology and Medical Studies > School of Computing > Computational Intelligence Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:03
Last Modified: 12 May 2014 13:57
Resource URI: http://kar.kent.ac.uk/id/eprint/14414 (The current URI for this page, for reference purposes)
ORCiD (Bowman, Howard):
ORCiD (Su, Li):
ORCiD (Wyble, Brad):
  • Depositors only (login required):

Downloads

Downloads per month over past year