2272 search results - page 407 / 455 » Validity Invariants and Effects |
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— As robots become more commonplace within society, the need for tools to enable non-robotics-experts to develop control algorithms, or policies, will increase. Learning ...
SASO
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we study desynchronization, a closelyrelated primitive to graph coloring. A valid graph coloring is an assignment of colors to nodes such that no node’s color is t...
SUTC
2008
IEEE
14 years 4 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...
ACSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Instant messaging (IM) has been one of most frequently used malware attack vectors due to its popularity. Distinct from other malware, it is straightforward for IM malware to fin...
ACSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...