Thursday 2 Feb, 1:15, Room EM 3.03
Alzahrani, Mohammed: Model Checking Data-Sensitive and Time-Sensitive Web Applications
Modeling of web-based applications is fundamental to capture and understand their behaviour. As a verification technique, model checking can assist in finding design flaws and simplifying the design of a web application, as a result the quality and the security of web application can be improved. We use the model checker SPIN to simulate and verify essential security and navigation properties of web-based data-sensitive and time-sensitive application. We integrate discrete time in Promela (SPIN's input language) model to allow us represent realistic web applications properties and track sequence of actions in a secure model and in the present of a malicious behaviour. We discuss a comparison between the tools SPIN and UPPAAL in modelling and verfiying web applications
Suttie, Neil: Serious Games:Maintaining Engagement in Learning Through Game-play
Serious Games and intelligent pedagogical systems offer the potential for providing effective and engaging learning experiences tailored to the need of the individual student. They can present a promising means of enhancing problem solving, analytical thinking, decision making and other skills not easily learned in the class room setting.
Essential for the advancement of Serious Games is careful balancing of educational and ludic content. However, there is little understanding of how educational outcomes relate to game-play and concern that greater engagement in gameplay elements may even prove diversionary to the learning process. Therefore, It is necessary to develop a clear understanding of the relationship between game-play, player engagement and how these relate to relevant educational strategies. In this talk, I will discuss the challenges, possible solutions and work conducted thus far in linking learning and serious games through their implemented mechanics.
Methven, Tom: Does Stereopsis Affect Gloss Perception?
Over the past 20 years, there have been many studies looking at how highlight disparity affects an observer's perception of glossiness. Most of these studies have used relatively smooth surfaces, and simple lighting models, meaning their results might not account for all the
complex interactions of lighting and stereopsis with real surfaces. In this talk, I present the results of a pilot experiment designed to look into this problem. These results seem to imply that the relationship between gloss perception, highlight disparity and roughness is more complex than previously reported. In addition, I talk about future work designed to solve problems encountered with the pilot experiment.
Orzechowski, Pawel: Touch-screen Textile Simulators.
Consumers like to touch and deform fabrics that they are about to buy, but currently available devices do not provide the touch and feel modality. iShoogle is a textile simulator for iPad that uses movements natural in handling clothes (crunching, pulling, pinching, etc.) to interact with on-screen movies of fabrics being deformed (crunched, pulled, pinched etc.). Experiments were carried out to determine if the added interactivity afforded by iShoogle could help to describe textile qualities and thus aid in the creation of next generation digital swatches.
No comments:
Post a Comment