1498 search results - page 284 / 300 » A Process Calculus for Mobile Ad Hoc Networks |
IWSEC
2010
Springer
13 years 6 months ago
2010
Springer
Multicast traffic, such as live audio/video streaming, is an important application for Mobile Ad Hoc Networks (MANETs), including those used by militaries and disaster recovery tea...
IANDC
2006
13 years 7 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Mobile Ad hoc Network (MANET) routing protocols have been the focus of an accomplished research effort for many years within the networking community and now the results of this...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Mobile wireless network research focuses on scenarios at the extremes of the network connectivity continuum where the probability of all nodes being connected is either ...
ACSC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— Hybrid Wireless Mesh Networks are a combination of mobile ad hoc networks and infrastructure wireless mesh networks, consisting of two types of nodes: Mobile Mesh Clien...