3387 search results - page 668 / 678 » Model-Checking for Real-Time Systems |
SUTC
2008
IEEE
14 years 1 months ago
2008
IEEE
Bomb disposal manned missions are inherently safetycritical. Wireless Sensor Network (WSN) technology potentially offers an opportunity to increase the safety of the operatives in...
ICCCN
2007
IEEE
14 years 1 months ago
2007
IEEE
Real time applications such as military aircraft flight control systems and online banking are critical with respect to security and reliability. In this paper we presented a way ...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— In robot teleoperation scenarios, the interface between the user and the robot is undoubtedly of high importance. In this paper, electromyographic (EMG) signals from mu...
RTCSA
2007
IEEE
14 years 1 months ago
2007
IEEE
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
CIKM
2007
Springer
14 years 1 months ago
2007
Springer
Contextual Advertising is a type of Web advertising, which, given the URL of a Web page, aims to embed into the page (typically via JavaScript) the most relevant textual ads avail...