10182 search results - page 1806 / 2037 » Case Studies |
151
click to vote
IMC
2005
ACM
16 years 7 days ago
2005
ACM
The growing popularity of wireless networks has led to cases of heavy utilization and congestion. In heavily utilized wireless networks, the wireless portion of the network is a m...
176
click to vote
SIGMETRICS
2005
ACM
16 years 7 days ago
2005
ACM
In addition to providing small mean response times, modern applications seek to provide users predictable service and, in some cases, Quality of Service (QoS) guarantees. In order...
183
click to vote
SIGMOD
2005
ACM
16 years 7 days ago
2005
ACM
In a number of recent studies [4, 8] researchers have found that because search engines repeatedly return currently popular pages at the top of search results, popular pages tend ...
164
click to vote
CHARME
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
167
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The heavy-tailed phenomenon that characterises the runtime distributions of backtrack search procedures has received considerable attention over the past few years. Some ...