1633 search results - page 223 / 327 » On the Verification of Temporal Properties |
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
This paper describes an approach for video structuring and indexing. It relies on motion wavelet coefficients directly estimated from image sequence. These coefficients provide a ...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
DEXAW
2006
IEEE
14 years 4 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
GLVLSI
2006
IEEE
14 years 4 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
FAABS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...