9821 search results - page 123 / 1965 » A Framework for the Development of Protocols |
155
click to vote
SAINT
2003
IEEE
15 years 9 months ago
2003
IEEE
The secure operation of the routing protocol is one of the major challenges to be met for the proliferation of the Mobile Ad hoc Networking (MANET) paradigm. Nevertheless, securit...
126
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
147
click to vote
ISICT
2003
15 years 5 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
129
click to vote
ANSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Simulation is the main tool for studying networking protocols before deploying them in a wide scale, or for understanding how they are expected to behave under various conditions....
121
click to vote
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
Cross-layer optimization aims at improving the performance of network users operating in a time-varying, error-prone wireless environment. However, current solutions often rely on...