4962 search results - page 300 / 993 » Stochastic Model Checking |
142
click to vote
IOR
2008
15 years 3 months ago
2008
The stochastic knapsack has been used as a model in wide ranging applications from dynamic resource allocation to admission control in telecommunication. In recent years, a variat...
119
click to vote
FLAIRS
2009
15 years 28 days ago
2009
Partially observable stochastic games (POSGs) provide a rich mathematical framework for planning under uncertainty by a group of agents. However, this modeling advantage comes wit...
142
click to vote
CMSB
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...
122
click to vote
FORTE
2008
15 years 4 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
123
click to vote
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...