Skip to main content

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 (KAR id:14414)

PDF
Language: English
Download (304kB) Preview
[thumbnail of Performance_of_reactive_interfaces_in.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:03 UTC
Last Modified: 16 Feb 2021 12:25 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/14414 (The current URI for this page, for reference purposes)
Bowman, Howard: https://orcid.org/0000-0003-4736-1869
  • Depositors only (login required):

Downloads

Downloads per month over past year