1875 search results - page 107 / 375 » Automatic Network Protocol Analysis |
118
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
122
click to vote
FPL
2005
Springer
15 years 8 months ago
2005
Springer
This paper addresses exploitation of the capabilities of platform FPGAs to implement embedded networking for systems on chip. In particular, a methodology for exploring trade-offs...
118
click to vote
ACNS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Being able to access and provide Internet services anonymously is an important mechanism to ensure freedom of speech in vast parts of the world. Offering location-hidden...
135
click to vote
ALGOSENSORS
2004
Springer
15 years 6 months ago
2004
Springer
In this work we present a new routing protocol for sensor networks that utilizes smart antennas to propagate information about a sensed event towards a receiving center. Our protoc...
127
click to vote
PEWASUN
2006
ACM
15 years 9 months ago
2006
ACM
In wireless multi-hop networks, hello protocols for neighbor discovery are a basic service offered by the networking stack. However, their study usually rely on rather simplistic...