Sciweavers

1321 search results - page 110 / 265
» A Model-Driven Development Approach Focusing Human Interacti...
Sort
View
PPDP
2007
Springer
14 years 2 months ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
HF
2007
131views more  HF 2007»
13 years 8 months ago
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
Michael Heymann, Asaf Degani
HCI
2009
13 years 5 months ago
Emergent Design: Serendipity in Digital Educational Games
Using computer games for educational purposes is a fascinating idea that is getting increasingly popular amongst educators, researchers, and developers. From a technical as well as...
Michael D. Kickmeier-Rust, Dietrich Albert
ACE
2003
86views Education» more  ACE 2003»
13 years 9 months ago
A New Approach to a First Year Undergraduate Information Systems Course
This paper describes the development, implementation and evaluation of a new teaching approach for a large first year undergraduate course in information systems at the University...
Denise Tolhurst, Bob Baker
CHI
2002
ACM
14 years 8 months ago
Physiological computing
This paper is concerned with how Physiological Computing (PC) and Brain-Computer Interfaces (BCI) may be used to enhance computer games. It is argued that PC offers a greater rang...
Jennifer Allanson, Gillian M. Wilson