446 search results - page 39 / 90 » Modal Logics for Timed Control |
TACAS
1998
Springer
14 years 1 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
HAPTICS
2006
IEEE
14 years 3 months ago
2006
IEEE
Three-dimensional ultrasound (3D US) is a novel imaging modality that allows real time visualization of internal body structures such as the heart, even through visually opaque bl...
TIME
2005
IEEE
14 years 2 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
AIS
2007
Springer
13 years 9 months ago
2007
Springer
Much working time is spent in meetings and as a consequence meetings have become the subject of multidisciplinary research. Virtual Meeting Rooms (VMRs) are 3D virtual replicas of ...
ITC
1997
IEEE
14 years 1 months ago
1997
IEEE
Testing embedded cores is a challenge because access to core I/Os is limited. The user-defined logic (ZJDL) surrounding the core may restrict the set of test vectors that can be a...