1362 search results - page 186 / 273 » Model Checking Large Network Protocol Implementations |
123
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Distributed object search is the primary function of Peer-to-Peer (P2P) file sharing system to locate and transfer the file. The predominant search schemes in unstructured P2P...
133
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— The 7 GHz of unlicensed spectrum in the 60 GHz band offers the potential for multiGigabit indoor wireless personal area networking (WPAN). With recent advances in the speed of ...
129
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
—Homology modeling requires an accurate alignment between a query sequence and its homologs with known three-dimensional (3D) information. Current structural modeling techniques ...
118
click to vote
ICNP
2003
IEEE
15 years 8 months ago
2003
IEEE
CAMs are the most popular practical method for implementing packet classification in high performance routers. Their principal drawbacks are high power consumption and inefficient...
110
Voted
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
SSL/TLS is a standard protocol for secure Internet communication. Despite its great success, today's SSL deployment is largely limited to security-critical domains. The low a...