430 search results - page 61 / 86 » Efficient Proving for Practical Distributed Access-Control S... |
PODS
2008
ACM
15 years 12 months ago
2008
ACM
In the rank join problem, we are given a set of relations and a scoring function, and the goal is to return the join results with the top K scores. It is often the case in practic...
110
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...
ISPEC
2010
Springer
15 years 1 months ago
2010
Springer
Often authentication and confidentiality are required as simultaneous key requirements in many cryptographic applications. The cryptographic primitive called signcryption effective...
SIAMSC
2008
14 years 11 months ago
2008
In this paper we propose a novel computational technique to solve the Eikonal equation. The proposed method manages the list of active nodes and iteratively updates the solutions ...
TSE
2010
14 years 10 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...