1359 search results - page 225 / 272 » Equational Reasoning on Mobile Ad Hoc Networks |
163
click to vote
GLOBECOM
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— Natural or man-made disasters can partition networks while threatening human lives. Because conventional Mobile Ad-Hoc Networks (MANETs) cannot route messages across pa...
152
click to vote
AINTEC
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Emergency networks normally operate under highly unpredictable wireless environment and hence real time performance information holds a great significance that cannot be...
195
click to vote
JNW
2008
15 years 6 months ago
2008
Next-Generation Wireless Networks (NGWNs) present an all-IP-based architecture integrating existing cellular networks with Wireless Local Area Networks (WLANs), Wireless Metropolit...
193
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
123
click to vote
ICPADS
2005
IEEE
15 years 11 months ago
2005
IEEE
Point-to-point transmissions represent a fundamental primitive in any communication network. Despite many proave appeared in the literature, providing an efficient implementation ...