1359 search results - page 225 / 272 » Equational Reasoning on Mobile Ad Hoc Networks |
78
Voted
GLOBECOM
2006
IEEE
15 years 5 months 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...
89
Voted
AINTEC
2007
Springer
15 years 5 months 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...
108
click to vote
JNW
2008
14 years 11 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...
105
Voted
ICST
2010
IEEE
14 years 8 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...
ICPADS
2005
IEEE
15 years 4 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 ...