838 search results - page 24 / 168 » A stochastic model for BitTorrent-like systems |
WSC
2004
14 years 11 months ago
2004
We consider single-stage, single-product Make-to-Stock systems with random demand and random service (production) rate, where demand shortages at the inventory facility are backor...
TCSB
2010
14 years 8 months ago
2010
Transcriptional attenuation at E.coli’s tryptophan operon is a prime example of RNA-mediated gene regulation. In this paper, we present a discrete stochastic model for this pheno...
HYBRID
2005
Springer
15 years 3 months ago
2005
Springer
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
101
click to vote
IANDC
2006
14 years 9 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
103
click to vote
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...