2137 search results - page 133 / 428 » Proving Abstract Non-interference |
124
click to vote
LICS
1991
IEEE
15 years 6 months ago
1991
IEEE
Abstract. We extend the termination proof methods based on reduction orderings to higher-order rewriting systems `a la Nipkow using higher-order pattern matching for firing rules,...
102
click to vote
DLOG
2007
15 years 5 months ago
2007
Abstract. Conjunctive query answering is an important DL reasoning task. Although this task is by now quite well-understood, tight complexity bounds for conjunctive query answering...
128
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
Abstract-- We address performance maximization of independent task sets under energy constraint on chip multi-processor (CMP) architectures that support multiple voltage/frequency ...
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Signals are a classical tool of cellular automata constructions that proved to be useful for language recognition or firing-squad synchronisation. Particles and collision...
132
click to vote
EUROCRYPT
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we prove that the sponge construction introduced in [4] is indifferentiable from a random oracle when being used with a random transformation or a random pe...