1980 search results - page 335 / 396 » Compositional Model Checking of Real Time Systems |
MIAR
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract. Electromagnetic navigation bronchoscopy requires the accurate registration of a preinterventional computed tomography (CT) image to the coordinate system of the electroma...
CW
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper aims at proposing a framework for animating virtual humans that can efficiently interact with real users in virtual reality (VR). If the user’s order can be modeled ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
TECS
2010
13 years 7 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...
SAC
2002
ACM
13 years 8 months ago
2002
ACM
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...