5075 search results - page 782 / 1015 » Model-based interface development |
153
click to vote
CBSE
2009
Springer
16 years 1 months ago
2009
Springer
Management of extra-functional properties in component models is one of the main challenges in the component-based software engineering community. Still, the starting point in thei...
170
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of e-Infrastructures that wish to reconcile the generality of their services with the bespoke requirements of diverse user communities. We motivate the requ...
210
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
191
click to vote
ICMI
2009
Springer
16 years 29 days ago
2009
Springer
We have built a system that engages naive users in an audiovisual interaction with a computer in an unconstrained public space. We combine audio source localization techniques wit...
166
click to vote
ICMI
2009
Springer
16 years 29 days ago
2009
Springer
We investigate how fantasy, curiosity and challenge contribute to the user experience in multimodal dialogue computer games for preschool children. For this purpose, an on-line mu...