Sciweavers

4348 search results - page 53 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
80
Voted
DATE
2008
IEEE
101views Hardware» more  DATE 2008»
15 years 4 months ago
A Game-Theoretic Approach to Real-Time System Testing
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,...
WORDS
2003
IEEE
15 years 2 months ago
Extending UML towards a Useful OO-Language for Modeling Dependability Features
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...
M. Dal Cin
CVPR
1999
IEEE
1071views Computer Vision» more  CVPR 1999»
15 years 11 months ago
Adaptive Background Mixture Models for Real-Time Tracking
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...
Chris Stauffer, W. Eric L. Grimson
ICASSP
2007
IEEE
15 years 4 months ago
Real Time 3D Avatar Transmission using Cylinder Mapping
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...
Shin-ichiro Takahashi, Masaaki Ikehara, Ishtiaq Ra...
ADAEUROPE
2006
Springer
15 years 3 months ago
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution
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...
Juan López Campos, J. Javier Gutiérr...