1586 search results - page 291 / 318 » Modeling the evolution of operating systems: An empirical st... |
82
Voted
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— We study a fully distributed, reactive algorithm for deployment and maintenance of a mobile communication backbone that provides an area around a network gateway with wireless ...
90
Voted
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper, we study the weighted sum rate maximization of multicell cellular cognitive radio networks (CRNs) which are overlaid with multicell primary radio networks (PRNs)...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Exponential bandwidth scaling has been a fundamental driver of the growth and popularity of the Internet. However, increases in bandwidth have been accompanied by increa...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
IMC
2006
ACM
15 years 3 months ago
2006
ACM
Search engines are a vital part of the Web and thus the Internet infrastructure. Therefore understanding the behavior of users searching the Web gives insights into trends, and en...