1362 search results - page 225 / 273 » Model Checking Large Network Protocol Implementations |
NOSSDAV
2004
Springer
15 years 7 months ago
2004
Springer
In peer-to-peer overlay for video broadcast, peers contribute a portion of the bandwidth to the overlay in return for the service. In the presence of network heterogeneity, it is ...
110
click to vote
EATIS
2007
ACM
15 years 6 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
144
click to vote
JSAC
2008
15 years 2 months ago
2008
The high frequency segment (10-66GHz) of the IEEE 802.16 standard seems promising for the implementation of wireless backhaul networks carrying large volumes of Internet traffic. I...
135
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Current methods of estimating air quality involve assigning a single value called the Air Quality Index (AQI) to a large land area for a 24-hour period based on a very few, sparse...
116
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
In this paper we present DeSiNe, a modular flow-level network simulator. DeSiNe is aimed at performance analysis and benchmarking of Quality of Service routing algorithms and traf...