anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
We present a game for children, developed to inform children about global warming. The main focus is the evaluation of children's user experience with easy to use methods. We...
Regina Bernhaupt, Daniel Schwaiger, Stefan Riegler...
Background: MicroRNAs (miRNAs) play an essential task in gene regulatory networks by inhibiting the expression of target mRNAs. As their mRNA targets are genes involved in importa...
Vinod Chandra, Reshmi Girijadevi, Achuthsankar S. ...
Game developers have begun applying formal human-computer interaction (HCI) principles in design. Desurvire et al [2] adapted a set of Heuristics for productivity software to games...
People with motor impairments can benefit greatly from being able to take part in Massively Multiplayer On-line Games, such as World of Warcraft. We are investigating how to use e...
Howell O. Istance, Stephen Vickers, Aulikki Hyrsky...