12981 search results - page 2387 / 2597 » Model Checking (Abstract) |
147
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--It was shown recently that carrier sense multiple access (CSMA)-like distributed algorithms can achieve the maximal throughput in wireless networks (and task processing n...
129
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract-- In this paper, we analyze asymptotic delaythroughput trade-offs in mobile ad-hoc networks comprising heterogeneous nodes with restricted mobility. We show that node spat...
122
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract--We consider power control in cognitive radio networks where secondary users identify and exploit instantaneous and local spectrum opportunities without causing unacceptab...
152
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract--Interior-point methods are state-of-the-art algorithms for solving linear programming (LP) problems with polynomial complexity. Specifically, the Karmarkar algorithm typi...
117
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...