1914 search results - page 109 / 383 » Verification by Abstract Interpretation |
116
click to vote
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
94
Voted
WOTUG
2008
15 years 2 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
200
Voted
ASIAN
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
CADE
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
95
Voted
AVBPA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper we propose an algorithm that can easily be implemented on small form factor devices to perform illumination normalization in face images captured under vari...