6195 search results - page 870 / 1239 » Cloud Computing Security |
169
click to vote
COCO
2009
Springer
16 years 1 months ago
2009
Springer
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...
170
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
Computing optimal Stackelberg strategies in general two-player Bayesian games (not to be confused with Stackelberg strategies in routing games) is a topic that has recently been ga...
164
click to vote
PDP
2007
IEEE
16 years 1 months ago
2007
IEEE
Heterogeneous networks of workstations have rapidly become a cost-effective computing solution in many application areas. This paper develops several highly innovative parallel al...
158
click to vote
STACS
2007
Springer
16 years 26 days ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
187
click to vote
SKG
2006
IEEE
16 years 23 days ago
2006
IEEE
Meteorology Grid Computing aims to provide scientist with seamless, reliable, secure and inexpensive access to meteorological resources. In this paper, we presented a semantic-bas...