Sciweavers

4962 search results - page 105 / 993
» Stochastic Model Checking
Sort
View
ENTCS
2006
131views more  ENTCS 2006»
13 years 9 months ago
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks
Oliver Shaw, L. Jason Steggles, Anil Wipat
IJCM
2008
62views more  IJCM 2008»
13 years 9 months ago
Stochastic simulation of HIV population dynamics through complex network modelling
Peter M. A. Sloot, Sergey V. Ivanov, Alexander Bou...
IOR
2008
80views more  IOR 2008»
13 years 9 months ago
Approximation Algorithms for Capacitated Stochastic Inventory Control Models
Retsef Levi, Robin Roundy, David B. Shmoys, Van An...