6008 search results - page 1173 / 1202 » The State-of-the-Art in Human-Computer Interaction |
ITICSE
2005
ACM
15 years 3 months ago
2005
ACM
Many projects currently used in Software Engineering curricula lack both the “fun factor” needed to engage students, as well as the practical realism of engineering projects t...
CSCWD
2005
Springer
15 years 3 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 3 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 3 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 3 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...