11112 search results - page 1520 / 2223 » Computing Stuttering Simulations |
177
click to vote
APNOMS
2009
Springer
16 years 1 months ago
2009
Springer
Femtocell is an emerging technology for expanding cell coverage and increasing data rate, and its users deploy in their own premises by themselves. Therefore, femto base stations c...
192
click to vote
ATC
2009
Springer
16 years 1 months ago
2009
Springer
We present a resource management algorithm based upon guided “walks” within a system state space. Walks are guided via simple predictions of optimum behavior whose accuracy inc...
219
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
193
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
In this article we evaluate an epidemic algorithm for the synchronization of coupled Kuramoto oscillators in complex Peer-to-Peer topologies. The algorithm requires a periodic coup...
169
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
Upon an outbreak of a dangerous infectious disease, people generally tend to reduce their contacts with others in fear of getting infected. Such typical actions apparently help to ...