5015 search results - page 876 / 1003 » Model Checking a Path |
FIMH
2009
Springer
14 years 4 months ago
2009
Springer
Cardiac fibre architecture plays a key role in heart function. Recently, the estimation of fibre structure has been simplified with diffusion tensor MRI (DT-MRI). In order to as...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
The interest in network virtualization has been growing steadily among the networking community in the last few years. Network virtualization opens up new possibilities for the ev...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
—The demands for vehicular Internet access are proliferating. Access Points (APs) can be deployed along the roadside to provide wireless coverage and network access for mobile ve...
IJCNN
2008
IEEE
14 years 4 months ago
2008
IEEE
—The system architecture presented in this paper is designed for helping an aged person to live longer independently in their own home by detecting unusual and potentially hazard...
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—In this paper, we study link properties over dynamic radio channels based on analytical models and simulations. Specifically, channel variability and mobility are investigated ...