837 search results - page 2 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
ESANN
1998
13 years 7 months ago
1998
Our problem concerns the joint interpretation of UltraSonic and InfraRed measurements provided by a composite proximity sensor, in order to extract geometrical and morphological f...
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
ACTA
2004
13 years 6 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
ICCAD
1998
IEEE
13 years 10 months ago
1998
IEEE
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
ACL
2003
13 years 7 months ago
2003
Multimodal dialogue systems allow users to input information in multiple modalities. These systems can handle simultaneous or sequential composite multimodal input. Different coor...