365 search results - page 20 / 73 » Local Computation Schemes with Partially Ordered Preferences |
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
In today’s large and complex network scenario vulnerability scanners play a major role from security perspective by proactively identifying the known security problems or vulner...
ACIVS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Even if lots of object invariant descriptors have been proposed in the literature, putting them into practice in order to obtain a robust system face to several perturbat...
ISCA
2003
IEEE
14 years 1 months ago
2003
IEEE
Value prediction exploits localities in value streams. Previous research focused on exploiting two types of value localities, computational and context-based, in the local value h...
ICNP
1996
IEEE
14 years 19 days ago
1996
IEEE
In a wide-area network with high-speed links, congestion may lead to poor utilization and the degradation of the service provided to the users. This paper presents a Cooperative C...