1890 search results - page 245 / 378 » Model-Based Testing in Practice |
MICCAI
2009
Springer
15 years 10 months ago
2009
Springer
Tetralogy of Fallot (ToF) is a severe congenital heart disease that mainly affects the right ventricle (RV). It requires surgical repair early in infancy. Chronic regurgitations ma...
110
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
119
click to vote
VRST
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we analyze and try to predict the gaze behavior of users navigating in virtual environments. We focus on first-person navigation in virtual environments which invol...
131
click to vote
LSSC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
111
click to vote
ELPUB
2006
ACM
15 years 7 months ago
2006
ACM
By the end of this year visitors to the Flemish town of Mechelen can discover the city with the help of the new CityInMyPocket walking guide. Instead of following a person or a bo...