9028 search results - page 1341 / 1806 » Human-Computer Interaction Experiments |
168
click to vote
CSCWD
2005
Springer
16 years 1 months ago
2005
Springer
It is a challenging issue to exchange procedural CAD models between heterogeneous CAD systems. In this paper, we extend the synchronized collaborative design environment among hete...
175
click to vote
CSCWD
2005
Springer
16 years 1 months ago
2005
Springer
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...
196
click to vote
DSVIS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
201
click to vote
DSVIS
2005
Springer
16 years 1 months ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
171
Voted
HUC
2005
Springer
16 years 1 months ago
2005
Springer
The paper reports the results of the first stage of our work on an automatic dietary monitoring system. The work is part of a large European project on using ubiquitous systems to...