2472 search results - page 438 / 495 » Parallel Key Exchange |
122
click to vote
JLP
2010
14 years 9 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
133
click to vote
MMAS
2010
Springer
14 years 9 months ago
2010
Springer
We propose a method for efficient solution of elliptic problems with multiscale features and randomly perturbed coefficients. We use the multiscale finite element method (MsFEM) as...
115
click to vote
CN
2011
14 years 6 months ago
2011
Nowadays, data storage requirements from end-users are growing, demanding more capacity, more reliability and the capability to access information from anywhere. Cloud storage ser...
145
Voted
PR
2011
14 years 5 months ago
2011
Increasingly large amount of multidimensional data are being generated on a daily basis in many applications. This leads to a strong demand for learning algorithms to extract usef...
142
Voted
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...