12981 search results - page 2578 / 2597 » Model Checking (Abstract) |
91
Voted
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—This paper presents the first analytical study of optimal investment and pricing decisions of a cognitive mobile virtual network operator (C-MVNO) under spectrum supply...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—This paper studies the problem of utility maximization for clients with delay based QoS requirements in wireless networks. We adopt a model used in a previous work that ...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—In this paper, we investigate the fundamental properties of broadcasting in mobile wireless networks. In particular, we characterize broadcast capacity and latency of a ...
INTERNET
2010
14 years 8 months ago
2010
bstractions and mechanisms Webmachine supplies to RESTful Web services developers. Not Your Typical Framework Web services frameworks typically fall into one of the following broad...
88
Voted
TSP
2008
14 years 8 months ago
2008
Abstract--Channel estimation and data detection for frequencyselective time-varying channels are considered using superimposed training. We employ a discrete prolate spheroidal bas...