Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
In this paper we describe the architectural and functional characteristics of Bus Catcher, a context sensitive prototype system for public transportation users. Bus Catcher assist...
Michela Bertolotto, Gregory M. P. O'Hare, Robin St...
The Cambridge University Multimedia Document Retrieval Demo System is a web based application that allows the user to query a database of automatically generated transcripts of ra...
A. Tuerk, Sue E. Johnson, P. Jourlin, Karen Sparck...
The complexity of hardware and software architectures used in today's embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the so...
In this paper, we propose a method of estimating camera parameters for annotating 3D virtual objects with a wearable vision system. The proposed method tracks natural feature poin...