605 search results - page 4 / 121 » A strategy for efficiently verifying requirements |
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...
118
click to vote
CSREASAM
2009
15 years 22 days ago
2009
In this paper we propose a new designated verifier signature scheme based on the threshold signature scheme presented [8] by Ghodosi and Pieprzyk. The advantages of the new scheme ...
102
click to vote
MOBISYS
2004
ACM
15 years 11 months ago
2004
ACM
The focus of surveillance missions is to acquire and verify information about enemy capabilities and positions of hostile targets. Such missions often involve a high element of ri...
PKC
2009
Springer
16 years 6 days ago
2009
Springer
Similar to verifiable shuffling (or, mixing), we consider the problem of verifiable rotating (and random re-encrypting) a given list of homomorphic encryptions. The offset by which...
ACCV
2009
Springer
15 years 3 months ago
2009
Springer
Recent local state-of-the-art stereo algorithms based on variable cost aggregation strategies allow for inferring disparity maps comparable to those yielded by algorithms based on ...