1362 search results - page 42 / 273 » Model Checking Large Network Protocol Implementations |
114
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
108
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
We present a methodology that brings simplicity to large and comt labs by using abstraction. The networking community has appreciated the value of large scale test labs to explore...
117
click to vote
MMB
2001
Springer
15 years 6 months ago
2001
Springer
Behavior of current communication protocols as well as current and future networked applications is of fundamental importance for technical and commercial success of Mobile Intern...
105
click to vote
TIT
2008
15 years 1 months ago
2008
Abstract--In data communication networks, packets that arrive at the receiving host may be disordered for reasons such as retransmission of dropped packets or multi-path routing. R...
117
click to vote
ADHOC
2008
15 years 2 months ago
2008
The diversity of applications and typically scarce node resources set very tight constraints to Wireless Sensor Networks (WSN). It is not possible to fulfill all requirements with...