2162 search results - page 194 / 433 » A Meta-Notation for Protocol Analysis |
161
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
188
click to vote
GLOBECOM
2008
IEEE
16 years 15 days ago
2008
IEEE
— Vehicular ad hoc networking is an important component of Intelligent Transportation Systems. The main benefit of vehicular ad hoc network (VANET) communication is seen in activ...
184
click to vote
INFOCOM
2008
IEEE
16 years 13 days ago
2008
IEEE
—In this paper, we propose a novel transport protocol that effectively utilizes available bandwidth and diversity gains provided by heterogeneous, highly lossy paths. Our Multi-P...
170
click to vote
IPPS
2006
IEEE
16 years 2 days ago
2006
IEEE
Recently there have been considerable interests focusing on the performance evaluation of IEEE 802.11e Medium Access Control (MAC) protocols, which were proposed for supporting Qu...
162
click to vote
LCN
2006
IEEE
16 years 1 days ago
2006
IEEE
This paper investigates the problem of how to improve TCP performance in multi-rate Ad-hoc networks with congested links. To improve network performance, different rate adaptation...