4962 search results - page 36 / 993 » Stochastic Model Checking |
AROBOTS
2011
13 years 2 months ago
2011
— We present an integral feedback controller that regulates the average copy number of a particular assembly in a system of stochastically interacting robots. The mathematical mo...
TSMC
2010
13 years 2 months ago
2010
Abstract--Takagi
SIAMCO
2008
13 years 7 months ago
2008
An optimal consumption problem is studied in a growth model for the Cobb-Douglas production function in a finite horizon. The problem is transfered into a stochastic Ramsey proble...
CSB
2003
IEEE
14 years 28 days ago
2003
IEEE
We have constructed a computer model of the cytotoxic T lymphocyte (CTL) response to antigen and the maintenance of immunological memory. Because immune responses often begin with...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...