752 search results - page 151 / 151 » A Markov Chain Model Checker |
INFOCOM
2011
IEEE
12 years 8 months ago
2011
IEEE
—Cognitive radios (CRs) can mitigate the impending spectrum scarcity problem by utilizing their capability of accessing licensed spectrum bands opportunistically. While most exis...
SDM
2011
SIAM
12 years 8 months ago
2011
SIAM
This paper describes one of the first attempts to model the temporal structure of massive data streams in real-time using data stream clustering. Recently, many data stream clust...