2838 search results - page 388 / 568 » Verifying Controlled Components |
RTCSA
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Time synchronization is a key component in numerous wireless sensor network applications. Most of the current software based time synchronization approaches suffer from ...
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— This paper describes our successful implementation of a robot that autonomously and strategically removes multiple blocks from an unstable Jenga tower. We present an in...
TRUSTBUS
2009
Springer
14 years 5 months ago
2009
Springer
SCADA systems represent a challenging scenario where the management of critical alarms is crucial. Their response to these alarms should be efficient and fast in order to mitigate ...
ICIC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In this paper our original methodology of applying ontologybased logic into decision support system for security management in heterogeneous networks is presented. Such d...
ETFA
2008
IEEE
14 years 5 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...