2468 search results - page 285 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
159
click to vote
CSE
2008
IEEE
15 years 10 months ago
2008
IEEE
E-mail services are essential in the Internet. However, the basic e-mail architecture presents problems that opens it to several threats. Alternatives have been proposed to solve ...
146
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
New mobile access networks provide reasonable high bandwidth to allow true internet access. This paper models two dominant applications of those networks. One application, WAP, is...
160
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
The ability to locate random relays is a key challenge for peer-to-peer (P2P) anonymous communication systems. Earlier attempts like Salsa and AP3 used distributed hash table look...
123
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
—A new application of the NN ensemble technique to improve the accuracy and stability of the calculation of NN emulation Jacobians is presented. The term “emulation” is defin...
143
click to vote
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Stand-alone threading libraries lack sophisticated memory management techniques. In this paper, we present a methodology that allows threading libraries that implement non-preempti...