3387 search results - page 216 / 678 » Model-Checking for Real-Time Systems |
209
click to vote
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
There is increasing demand to extend Object Request Broker (ORB) middleware to support distributed applications with stringent real-time requirements. However, conventional ORB im...
195
click to vote
ITS
1998
Springer
15 years 11 months ago
1998
Springer
TRANSoM is a collaborative effort among university and industry researchers aimed at producing an intelligent tutoring system for training pilots of remotely operated vehicles (ROV...
183
click to vote
ICC
1997
IEEE
15 years 11 months ago
1997
IEEE
: We are concerned with a real-time quality of service (QOS) estimation method for ATM statistical multiplexers with heterogeneous ON/OFF sources. We propose a real-time modeling m...
209
Voted
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
201
Voted
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
We present an algorithm for the real-time detection and interpretation of pointing gestures, performed with one or both arms. The pointing gestures are used as an intuitive tracki...