This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
A common method for real-time segmentation of moving regions in image sequences involves "background subtraction," or thresholding the error between an estimate of the i...
In this paper, we propose a client-sever system, which accomplishes acquisition, transmission and reconstruction of the 3D shape at a remote location in real time. The server cons...
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...