2137 search results - page 117 / 428 » Proving Abstract Non-interference |
117
click to vote
COCOON
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present three streaming algorithms that ( , δ)− approximate 1 the number of triangles in graphs. Similar to the previous algorithms [3], the space usage of presente...
103
click to vote
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
95
Voted
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating nonHamiltonian edges from the associated gra...
123
click to vote
CSL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. It has been proved by Niwi´nski and Walukiewicz that a deterministic tree language is either Π1 1 -complete or it is on the level Π0 3 of the Borel hierarchy, and that...
104
click to vote
ICNC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A novel text watermarking algorithm is presented. It combines natural language watermarking and Chinese syntax based on BP neural networks. Since the watermarking signals...