3387 search results - page 453 / 678 » Model-Checking for Real-Time Systems |
184
click to vote
FGCN
2008
IEEE
16 years 1 months ago
2008
IEEE
A mobile robot with various types of sensors via ubiquitous networks is introduced. We designed a mobile robot composed of TCP/IP network, wireless camera and several sensors in a...
194
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
183
click to vote
IPCCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Successes and failures during rescue operations after hurricane Katrina and the Twin Towers attack demonstrated the importance of supporting first responders with adequate means t...
186
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
187
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...