4498 search results - page 409 / 900 » How to Invent Functions |
177
click to vote
DSVIS
2005
Springer
16 years 12 days 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...
217
click to vote
FASE
2005
Springer
16 years 12 days ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
150
click to vote
GI
2005
Springer
16 years 12 days ago
2005
Springer
: This is an ongoing project, which is scheduled until 2005. So I decided together with Richard Wang to set up Sup-Projects that could be published earlier. The main objective is t...
214
click to vote
MICCAI
2005
Springer
16 years 11 days ago
2005
Springer
Computer-based simulation is an important tool for surgical skills training and assessment. In general, the degree of realism experienced by the trainees is determined by the visua...
183
click to vote
PERVASIVE
2005
Springer
16 years 11 days ago
2005
Springer
There is currently a lot of research going on in the field of mobile interaction with the real world. So far, the environment where the mobile phone is used is mainly perceived as...