2162 search results - page 404 / 433 » A Meta-Notation for Protocol Analysis |
MINENET
2005
ACM
14 years 3 months ago
2005
ACM
One of the most pressing problems in network research is the lack of long-term trace data from ISPs. The Internet carries an enormous volume and variety of data; mining this data ...
MUM
2005
ACM
14 years 3 months ago
2005
ACM
This paper proposes an intelligent mobile middleware utilizing group-based content push with dynamic session startup and plugand-play features. Solution enhances the distribution ...
PEWASUN
2005
ACM
14 years 3 months ago
2005
ACM
This paper examines several MANET behaviors and suggests root causes using a stochastic model of received power. It focuses specifically on MANET mechanisms most impacted by fin...
PEWASUN
2005
ACM
14 years 3 months ago
2005
ACM
The design and evaluation of Inter-Vehicle Communication (IVC) protocols rely much on the accurate and efficient computational simulations. For simulations of Medium Access Contro...
STORAGESS
2005
ACM
14 years 3 months ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...