4447 search results - page 403 / 890 » Model Checking Games |
197
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We study the problem of pricing uplink power in wide-band cognitive radio networks under the objective of revenue maximization for the service provider and while ensuring incen...
217
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Multimedia social network analysis is an emerging research area, which analyzes the behavior of users who share multimedia content and investigates the impact of human dynamics on...
212
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
179
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—We consider the situation where N nodes share a common access point. With each node i there is an associated buffer and channel state that change in time. Node i dynamically cho...
148
click to vote
ISCC
2007
IEEE
16 years 1 months ago
2007
IEEE
In a P2P file-sharing system, a node finds and retrieves its desired file. If multiple nodes cache the same file to provide others, we can achieve a file-sharing system with ...