2137 search results - page 158 / 428 » Proving Abstract Non-interference |
126
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
147
click to vote
CADE
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
125
click to vote
STOC
2001
ACM
16 years 3 months ago
2001
ACM
Abstract. We consider two types of buffering policies that are used in network switches supporting Quality of Service (QoS). In the FIFO type, packets must be transmitted in the or...
117
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
In this paper, we propose an abstract procedure which, given a timed automaton, produces a language-equivalent deterministic infinite timed tree. We prove that under a certain boun...
113
click to vote
ICIAP
2005
ACM
16 years 3 months ago
2005
ACM
Abstract. In this paper we present a track matching algorithm based on the "major color" histograms matching and the post-matching integration useful for tracking a singl...