1914 search results - page 118 / 383 » Verification by Abstract Interpretation |
147
Voted
BIOID
2008
15 years 6 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 ...
142
click to vote
PTS
2008
15 years 6 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...
129
Voted
CDC
2009
IEEE
15 years 6 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...
169
Voted
IC3
2009
15 years 2 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...
179
click to vote
IJSEKE
2011
14 years 8 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...