2468 search results - page 242 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
168
click to vote
IMC
2009
ACM
15 years 10 months ago
2009
ACM
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
143
click to vote
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
It has been observed that the degrees of the topologies of several communication networks follow heavy tailed statistics. What is the impact of such heavy tailed statistics on the...
127
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The electricity price duration curve (EPDC) represents the probability distribution function of the electricity price considered as a random variable. The price uncerta...
172
click to vote
SIGMETRICS
2009
ACM
15 years 10 months ago
2009
ACM
Understanding the channel popularity or content popularity is an important step in the workload characterization for modern information distribution systems (e.g., World Wide Web,...
114
click to vote
IPL
2008
15 years 4 months ago
2008
As part of the efforts put in understanding the intricacies of the k-colorability problem, different distributions over k-colorable graphs were analyzed. While the problem is notor...