1740 search results - page 322 / 348 » Group communication protocol for flexible distributed system... |
EMS
2009
IEEE
14 years 3 months ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Multichannel wireless networks provide the flexibility to utilize the available spectrum efficiently for achieving improved system performance in terms of throughput a...
NOSSDAV
2004
Springer
14 years 2 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 ...
CAV
2006
Springer
14 years 12 days ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
CMSB
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...