CBU bibliography

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

CBU number:	6822
Authors:	Su, L., Bowman, H. & BARNARD, P. J.
Reference:	In: the 2nd International Workshop on Formal Methods for Interactive Systems FMIS2007 (held in conjunction with HCI2007), Electronic Notes in Theoretical Computer Science, 208, 95-111
Year of publication:	2008
Abstract text:	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-offs 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 specifications of the operator are general purpose, ensuring that our findings are broadly applicable.
Annual report number:	CBUAR 53
Keywords:	Conference Proccedings and Published Abstracts

The Reprint Request service is currently unavailable. The webform interface is not passing on your requests despite saying it has. PDF's of articles are also not available unless specifically linked from the record under the link field. Open Access papers are accessible this way when available. We are not able to fulfill pdf requests due to copyright and contractual restrictions. Inclusion in the Bibliography does not mean that a copy is available, this is foremost a record of the unit's work. Papers marked 'In Press' have not been published so are not available. Books and tests are also not available for copying. These are commerical products and you will need to buy them, or indeed contact your local library service to get a copy. If a record is from a conference and does not show more than one page number then the record/abstract on the page is the complete record. These are mainly a record of participation in a conference, such as a poster or a talk. Some of these records represent literally nothing more than a line.
Subject: *	Request for offprint of publication 6822
Link: *	http://www.mrc-cbu.cam.ac.uk/bibliography/articles/6822/
Message: *	I would like to request a copy of this publication as listed in the CBU bibliography.
Your name: *
E-mail address: *
Postal address: *

* Items marked with an asterisk [*] are required fields and must be fully completed.