929 search results - page 177 / 186 » Modeling and Verifying Ad Hoc Routing Protocols |
HPDC
1997
IEEE
13 years 11 months ago
1997
IEEE
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...
LICS
2003
IEEE
14 years 28 days ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
INFOCOM
1997
IEEE
13 years 12 months ago
1997
IEEE
Abstract—A multicast flow control framework for data traffic traversing both a wired and wireless network is proposed. Markov-modulated fluid (MMF) models are used for the rec...
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
Wireless mesh networks (WMNs) have been proposed as a solution for ubiquitous last-mile broadband access. A critical limiting factor for many WMN protocols in realizing their thro...
JSAC
2010
13 years 6 months ago
2010
A SEA Swarm (Sensor Equipped Aquatic Swarm) moves as a group with water current and enables 4D (space and time) monitoring of local underwater events such as contaminants and intr...