5075 search results - page 57 / 1015 » Model-based interface development |
133
click to vote
FASE
2000
Springer
15 years 6 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
105
click to vote
HCI
2009
15 years 3 days ago
2009
This paper describes the framework and development process of adaptive user interfaces within the OASIS project. After presenting a rationale for user interface adaptation to addre...
130
click to vote
ISMS
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
108
click to vote
VR
2000
IEEE
15 years 6 months ago
2000
IEEE
In the paper, we describe a series of stages in the development of a new virtual locomotion device designed to enhance remote, interpersonal communications. The latest system, cal...
CHI
2008
ACM
16 years 2 months ago
2008
ACM
In this paper we describe our ongoing work on modelling urban encounters by extending Conway's Game of Life. We develop our model based on empirical data collected using a Ta...