2137 search results - page 28 / 428 » Proving Abstract Non-interference |
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
Abstract. Fusion calculus is commonly regarded as a generalisation of pi. Actually, we prove that there is no uniform fully abstract embedding
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
100
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: Many practical tasks in biomedicine require accessing specific types of information in scientific literature; e.g. information about the results or conclusions of the ...
AAECC
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. We prove lower bounds on the degree of polynomials interpolating the Diffie
JSYML
2006
14 years 10 months ago
2006
Abstract. Let T be a positive L1-L contraction. We prove that the following statements are equivalent in constructive mathematics.