3387 search results - page 570 / 678 » Model-Checking for Real-Time Systems |
191
click to vote
ICAS
2008
IEEE
16 years 21 days ago
2008
IEEE
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...
171
click to vote
PERCOM
2007
ACM
16 years 16 days ago
2007
ACM
Traffic Congestion is a multi-billion dollar national problem and worsening every year with population growth and increase in freight traffic. We present a model for realistic s...
164
click to vote
RTCSA
2007
IEEE
16 years 16 days ago
2007
IEEE
MB++ is a system that caters to the dynamic needs of applications in a distributed, pervasive computing environment that has a wide variety of devices that act as producers and co...
169
click to vote
SEUS
2007
IEEE
16 years 16 days ago
2007
IEEE
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...
174
click to vote
ACCV
2007
Springer
16 years 13 days ago
2007
Springer
Smart camera is a camera that can not only see but also think and act. A smart camera is an embedded vision system which captures and processes image to extract application-specifi...