1914 search results - page 118 / 383 » Verification by Abstract Interpretation |
112
click to vote
BIOID
2008
15 years 2 months ago
2008
Abstract. In this contribution, the vulnerabilities of iris-based recognition systems to direct attacks are studied. A database of fake iris images has been created from real iris ...
102
Voted
PTS
2008
15 years 2 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
92
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
114
click to vote
IC3
2009
14 years 10 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
144
click to vote
IJSEKE
2011
14 years 4 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...