974 search results - page 104 / 195 » Formal Modeling of Communication Traces |
110
click to vote
FMCO
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
74
Voted
MOBICOM
2009
ACM
15 years 6 months ago
2009
ACM
We consider the problem of efficient link-layer multicasting in wireless networks with switched beamforming antennas. The inherent tradeoff between multicasting and beamforming ...
67
Voted
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
—Advances in wireless and optical communication, as well as in Internet multicast protocols, make broadcast and multicast methods an effective solution to disseminate data. In pa...
WWIC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper proposes new cognitive algorithms and mechanisms for detecting 0day attacks targeting the Internet and its communication performances and behavior. For this pu...
88
Voted
SIGCOMM
2010
ACM
14 years 12 months ago
2010
ACM
IP traceback can be used to find the origin of anonymous traffic; however, Internet-scale IP traceback systems have not been deployed due to a need for cooperation between Interne...