2440 search results - page 338 / 488 » Data-Intensive Question Answering |
184
click to vote
INFOCOM
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract—We study the throughput capacity of wireless networks which employ (asynchronous) random-access scheduling as opposed to deterministic scheduling. The central question w...
144
click to vote
INFOCOM
2008
IEEE
16 years 26 days ago
2008
IEEE
—The IEEE 802.16 standard, or WiMAX, has emerged to facilitate high-bandwidth wireless access in realworld metropolitan areas, commonly referred to as 4G. In WiMAX, Hybrid Automa...
152
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
189
click to vote
PIMRC
2008
IEEE
16 years 25 days ago
2008
IEEE
—The accurate determination of the link quality is critical for ensuring that functionalities such as intelligent routing, load-balancing, power control and frequency selection o...
176
click to vote
TOOLS
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...