1875 search results - page 225 / 375 » Automatic Network Protocol Analysis |
116
Voted
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—Wireless Internet access is facilitated by IEEE 802.11 WLANs that, in addition to realizing a specific form of CSMA/CA—distributed coordination function (DCF)— implement a ...
106
click to vote
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
101
click to vote
MMMACNS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...
118
click to vote
ICCCN
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper, we introduce an objective model of trust in peer-to-peer networks. Based on this model, we develop protocols that can be used by the peers in a peer-to-peer netwo...
142
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—Ubiquitous network connectivity and mobile communications have recently attracted remarkable attention. Wireless multihop networks such as Mobile Ad hoc Networks or Wire...