4795 search results - page 521 / 959 » The Message Classification Model |
188
click to vote
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— The inherent trade-off between energy-efficiency and rapidity of event dissemination is characteristic for wireless sensor networks. Scarcity of energy renders it necessary fo...
144
click to vote
IPPS
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper exploits a previously developed analytical modeling framework to compare several variations of the basic flooding search strategy in unstructured decentralized peer-to...
187
click to vote
SP
2006
IEEE
16 years 27 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
180
click to vote
AI
2004
Springer
16 years 8 days ago
2004
Springer
Building conversation protocols has traditionally been an art more than a science, as their construction is often guided by designers’ intuition rather than by a principled appro...
183
click to vote
DSRT
2003
IEEE
16 years 5 days ago
2003
IEEE
We present a new conservative event-synchronization protocol, time-based synchronization, for parallel discreteevent simulation of mobile ad hoc wireless networks. Simulators that...