1980 search results - page 149 / 396 » Compositional Model Checking of Real Time Systems |
113
click to vote
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real-time distributed data-flow applications, such ...
117
click to vote
NOMS
2010
IEEE
15 years 7 days ago
2010
IEEE
—PhoneFactor is a two-factor authentication service that combines the knowledge-based authenticator with an objectbased authenticator in which the object-based authenticator has ...
114
click to vote
ICPR
2002
IEEE
16 years 2 months ago
2002
IEEE
A system that performs the tracking of a human head in 3D in real time is presented. The head shape is modeled by an ellipse with a trained color histogram of skin and hair sample...
138
click to vote
ECRTS
2003
IEEE
15 years 7 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
111
click to vote
CVPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Simultaneous localisation and mapping using a single camera becomes difficult when erratic motions violate predictive motion models. This problem needs to be addressed when visual...