1362 search results - page 171 / 273 » Model Checking Large Network Protocol Implementations |
121
Voted
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
125
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—With the availability of cheap and robust wireless devices there is demand for new applications in Vehicular Ad-hoc Networks (VANET). The challenge in implementing applications ...
119
click to vote
MOBILWARE
2009
ACM
15 years 9 months ago
2009
ACM
Abstract. In this paper, we present Chapar, an event system designed for mobile ad hoc networks that supports the publish-subscribe model as well as pointto-point and point-to-mult...
104
click to vote
CONEXT
2006
ACM
15 years 9 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
157
click to vote
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
Abstract—The extensive recent research in protocols development for wireless networks must be complemented with simple yet efficient prototyping and evaluation mechanism. MiNT-2...