Sciweavers

1321 search results - page 110 / 265
» A Model-Driven Development Approach Focusing Human Interacti...
Sort
View
122
Voted
PPDP
2007
Springer
15 years 8 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
129
Voted
HF
2007
131views more  HF 2007»
15 years 2 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
120
Voted
HCI
2009
15 years 15 days 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
118
Voted
ACE
2003
86views Education» more  ACE 2003»
15 years 4 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
107
Voted
CHI
2002
ACM
16 years 3 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