1286 search results - page 50 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
142
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—Cloud computing is an emerging computing paradigm in which resources of the computing infrastructure are provided as services over the Internet. As promising as it is, this para...
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
105
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...
164
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
129
click to vote
IPPS
1996
IEEE
15 years 7 months ago
1996
IEEE
A common statistical problem is that of nding the median element in a set of data. This paper presents a fastand portable parallel algorithm for nding the median given a set of el...