4348 search results - page 9 / 870 » Using UML for Modeling Complex Real-Time Systems |
CORR
2008
Springer
14 years 9 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
101
click to vote
ISMS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
96
Voted
ICSE
2001
IEEE-ACM
15 years 1 months ago
2001
IEEE-ACM
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...
CGF
2005
14 years 9 months ago
2005
Current surface-based methods for interactive freeform editing of high resolution 3D models are very powerful, but at the same time require a certain minimum tessellation or sampl...
105
click to vote
ICIP
2007
IEEE
15 years 1 months ago
2007
IEEE
We propose a novel learning algorithm to detect moving pedestrians from a stationary camera in real-time. The algorithm learns a discriminative model based on eigenflow, i.e. the ...