1875 search results - page 99 / 375 » Automatic Network Protocol Analysis |
103
click to vote
CCS
2008
ACM
14 years 12 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
SRDS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we propose a novel ReliAble ProbabIlistic Dissemination protocol, RAPID, for mobile wireless ad-hoc networks that tolerates message omissions, node crashes, and sel...
101
click to vote
FGR
2011
IEEE
14 years 1 months ago
2011
IEEE
— Automatic Facial Expression Recognition and Analysis, in particular FACS Action Unit (AU) detection and discrete emotion detection, has been an active topic in computer science...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
—In this paper, we develop an analytical framework which explains the emergence of superpeer networks on execution of the commercial peer-to-peer bootstrapping protocols by incom...
ISSTA
2000
ACM
15 years 2 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...