3342 search results - page 61 / 669 » Symbolic Robustness Analysis |
252
click to vote
ESORICS
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...
151
click to vote
ICRA
2007
IEEE
16 years 1 days ago
2007
IEEE
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
149
click to vote
UCS
2004
Springer
15 years 11 months ago
2004
Springer
Fiducial tags can be recognised successfully and decoded by computer vision systems in order to produce location information. We term a system dependable if its observable results ...
133
click to vote
ISLPED
1997
ACM
15 years 10 months ago
1997
ACM
We present an algorithm that restructures the state transition graph STG of a sequential circuit so as to reduce power dissipation. The STG is modi ed without changing the behav...
149
click to vote
HYBRID
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...