4962 search results - page 75 / 993 » Stochastic Model Checking |
134
click to vote
EPEW
2008
Springer
15 years 7 months ago
2008
Springer
We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock b...
133
click to vote
ORL
2006
15 years 6 months ago
2006
We consider a general adversarial stochastic optimization model. Our model involves the design of a system that an adversary may subsequently attempt to destroy or degrade. We int...
156
click to vote
QEST
2009
IEEE
16 years 25 days ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
155
click to vote
EOR
2008
15 years 6 months ago
2008
We develop a multi-stage stochastic programming model for international portfolio management in a dynamic setting. We model uncertainty in asset prices and exchange rates in terms...
166
click to vote
EOR
2007
15 years 6 months ago
2007
In this paper, we present a stochastic version of the Location Model with Risk Pooling (LMRP) that optimizes location, inventory, and allocation decisions under random parameters ...