6092 search results - page 1183 / 1219 » Acknowledgments in Human-Computer Interaction |
CSCWD
2005
Springer
15 years 5 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...
CSCWD
2005
Springer
15 years 5 months ago
2005
Springer
More and more people are interested in Internet-based e-learning. Internet-based e-learning has become one very important arena of modern education system. This paper is based our ...
CSCWD
2005
Springer
15 years 5 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...
DSVIS
2005
Springer
15 years 5 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...
DSVIS
2005
Springer
15 years 5 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 ...