Su, Li and Bowman, H. and Barnard, Philip (2007) Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. In: Electronic Notes in Theoretical Computer Science. Elsevier pp. 95-111.
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional capture in the context of Barnard's key-distractor Attentional Blink task. This model captures core aspects of the allocation of human attention over time and as such should be applicable across a range of practical settings when human attentional limitations come into play. Thus, we have used this model to evaluate the performance trade-os that would arise from varying key parameters in Stimulus Rich Reactive Interfaces. A strength of formal methods is that they are abstract and thus, the resulting specications of the operator are general purpose, ensuring that our ndings are broadly applicable.
|Item Type:||Conference or workshop item (Paper)|
|Uncontrolled keywords:||Formal methods, HCI, SRRIs, Attentional blink, ICS|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Computational Intelligence Group|
|Depositing User:||Mark Wheadon|
|Date Deposited:||24 Nov 2008 18:04|
|Last Modified:||20 Apr 2012 11:33|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/14545 (The current URI for this page, for reference purposes)|
- Depositors only (login required):