2162 search results - page 28 / 433 » A Meta-Notation for Protocol Analysis |
RTCSA
1999
IEEE
14 years 28 days ago
1999
IEEE
A non-blocking protocol that allows real-time tasks to share data in a multiprocessor system is presented in this paper. The protocol gives the means to concurrent real-time tasks...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, a reliability analysis is carried out to state a performance comparison between two recently proposed proactive routing algorithms. These protocols are able to scale...
WCNC
2010
IEEE
14 years 16 days ago
2010
IEEE
—This paper aims at answering the questions of how to enable cooperative communications in random access networks. And, since cooperation introduces extra transmissions in the ch...
FC
2010
Springer
14 years 17 days ago
2010
Springer
Abstract. For the homomorphic Paillier cryptosystem we construct a protocol for secure modulo reduction, that on input of an encryption x with x of bit length x and a public ‘mod...
ENTCS
2006
13 years 8 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...