Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
From MaRDI portal
Publication:1047214
DOI10.1007/s00165-008-0094-3zbMath1186.68323MaRDI QIDQ1047214
Brad Wyble, Howard Bowman, Li Su, Philip Barnard
Publication date: 4 January 2010
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-008-0094-3
formal methods; HCI; EEG; attentional blink; interacting cognitive subsystems; stimulus rich reactive interfaces
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Modelling and analysing neural networks using a hybrid process algebra, Analysing neurobiological models using communicating automata, Verification-guided modelling of salience and cognitive load
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Process algebra with timing
- A model of the interaction between mood and memory
- Analysis of a Multimedia Stream using Stochastic Process Algebra
- System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation