2211 search results - page 294 / 443 » The state of peer-to-peer simulators and simulations |
181
click to vote
QEST
2008
IEEE
16 years 24 days ago
2008
IEEE
Magnifying Lens Abstraction in Markov Decision Processes ∗ Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA ...
163
click to vote
QEST
2007
IEEE
16 years 21 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
184
click to vote
EUC
2007
Springer
16 years 18 days ago
2007
Springer
Cooperative caching is an important technique to support efficient data dissemination and sharing in Mobile Ad hoc Networks (MANETs). In order to ensure valid data access, the cach...
174
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
A new family of "Distribution Replacement” operators for use in steady state genetic algorithms is presented. Distribution replacement enforces the members of the populatio...
206
click to vote
INFOCOM
2006
IEEE
16 years 13 days ago
2006
IEEE
— Opportunistic spectrum access and adaptive power management are effective techniques to improve throughput, delay performance, and energy efficiency for wireless networks. In ...