2137 search results - page 332 / 428 » Proving Abstract Non-interference |
88
Voted
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. When a person taps a foot in time with a piece of music, they are performing beat tracking. Beat tracking is fundamental to the understanding of musical structure, and th...
82
Voted
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
ALT
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Blum and Blum (1975) showed that a class B of suitable recursive approximations to the halting problem is reliably EX-learnable. These investigations are carried on by sh...
102
Voted
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
87
Voted
CRYPTO
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. We consider the broadcast exclusion problem: how to transmit a message over a broadcast channel shared by N = 2n users so that all but some specified coalition of k excl...