4693 search results - page 270 / 939 » Verifying Hybrid Systems |
176
Voted
ENTCS
2010
15 years 4 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
173
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
We examine covert channels in privacy-enhanced mobile identification devices where the devices uniquely identify themselves to an authorized verifier. Such devices (e.g. RFID tags)...
161
click to vote
BIOID
2008
15 years 8 months ago
2008
This paper focuses on the requirements for face images to be used in Machine Readable Travel Documents, defined in the ISO/IEC 19794-5 standard. In particular an evaluation framewo...
157
click to vote
SIAMCO
2010
15 years 1 months ago
2010
This work is devoted to stationary optimal control problems with polygonal constraints on the components of the state. Existence of Lagrange multipliers, of different regularity, i...
178
click to vote
ENTCS
2008
15 years 6 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...