226 search results - page 38 / 46 » Formal Verification of a Multicast Protocol In Mobile Networ... |
WINET
2010
13 years 5 months ago
2010
In this paper, we present a model that estimates the time duration of routes formed by several intermediate nodes in mobile multi-hop ad-hoc networks. First, we analyze a 3-node ro...
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
— Many tasks require multiple sensing capabilities; in Wireless Sensor Networks (WSN), it is expensive to deploy a homogeneous network wherein every sensor has the same functiona...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
MSWIM
2009
ACM
14 years 2 months ago
2009
ACM
The provision of rich multimedia services, such as Mobile TV, is considered of key importance for the Long Term Evolution (LTE) proliferation in mobile market. To this direction, ...
SEFM
2008
IEEE
14 years 1 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...