5075 search results - page 70 / 1015 » Model-based interface development |
119
click to vote
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
110
Voted
IUI
1993
ACM
15 years 6 months ago
1993
ACM
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...
124
Voted
ITP
2010
15 years 4 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
92
Voted
FPLAY
2008
15 years 4 months ago
2008
Tracking technologies, such as eye and head-tracking, provide novel techniques for interacting with video games. For instance, players can shoot with their eyes in a first person ...
108
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...