1875 search results - page 104 / 375 » Automatic Network Protocol Analysis |
287
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
206
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
219
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—A key technology in cooperative communications is distributed space-time coding (DSTC) which achieves spatial diversity gain from multiple relays. A novel DSTC, called randomize...
163
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
157
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
—A new network architecture for high-speed low-latency interconnects is introduced, based on a combination of optical wavelength division multiplexing and the automatic packet se...