2137 search results - page 28 / 428 » Proving Abstract Non-interference |
APLAS
2004
ACM
15 years 8 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
110
click to vote
SOFSEM
2010
Springer
15 years 10 days 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...
145
click to vote
BMCBI
2011
14 years 9 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 6 months ago
2003
Springer
Abstract. We prove lower bounds on the degree of polynomials interpolating the Diffie
JSYML
2006
15 years 2 months ago
2006
Abstract. Let T be a positive L1-L contraction. We prove that the following statements are equivalent in constructive mathematics.