3639 search results - page 328 / 728 » Provenance as Dependency Analysis |
170
click to vote
VMCAI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
162
click to vote
CRYPTO
2005
Springer
16 years 12 days ago
2005
Springer
The Full-Domain Hash (FDH) signature scheme [3] forms one the most basic usages of random oracles. It works with a family F of trapdoor permutations (TDP), where the signature of m...
217
click to vote
INDOCRYPT
2005
Springer
16 years 11 days ago
2005
Springer
In this paper, we analyse the algebraic immunity of symmetric Boolean functions. We identify a set of lowest degree annihilators for symmetric functions and propose an efficient al...
337
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Through adjustable autonomy (AA), an agent can dynamically vary the degree to which it acts autonomously, allowing it to exploit human abilities to improve its performance, but wi...
168
click to vote
EENERGY
2010
15 years 10 months ago
2010
From an ecological but also from an economical and in the meantime a technical view the fast ongoing increase of power consumption in today’s data centers is no longer feasible....