3387 search results - page 237 / 678 » Model-Checking for Real-Time Systems |
186
click to vote
RTAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
195
click to vote
WACV
2005
IEEE
16 years 20 days ago
2005
IEEE
We describe a system that detects independently moving objects from a mobile platform in real time using a calibrated stereo camera. Interest points are first detected and tracke...
202
click to vote
ICTAC
2005
Springer
16 years 17 days ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
216
click to vote
RTAS
2003
IEEE
16 years 10 days ago
2003
IEEE
Existing real-time ORB middleware standards such as RT-CORBA do not adequately address the challenges of 1) providing robust performance guarantees portably across different platf...
193
click to vote
ICCBR
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. In this paper, we investigate two novel indexing schemes called DHS and D-HS+PSR(II) designed for use in case-based reasoning systems. D-HS is based on a matrix of cases ...