Research Publications
All Poster Presentation - 2012 | |
| Narrow your search | 20 result(s) |
By Type By Year By Research Group | Humans experience cognitive load during critical task activities and learning. Affective factors such as arousal and valence can be experienced at the same time, induced by the task in hand or by personal feelings. Identifying modalities or features that ... ...in the past to apply formal methods to component systems, existing work assumes the correctness of the component platform itself. This poster reports on ongoing work on the formal modelling and verification of a component platform for systems' development. The recent advent of broadband Internet has led to a convergence of the Web, multimedia, and social media technologies, and revolutionized the TV content consumption. It facilitates users not only watching the TV content, but also accessing personalised ... |