4962 search results - page 450 / 993 » Stochastic Model Checking |
118
click to vote
ISSE
2010
15 years 2 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
166
click to vote
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--We consider a set of multicast sources, each multicasting a finite amount of data to its corresponding destinations. The objective is to minimize the time to deliver all ...
133
click to vote
ICCMS
2009
15 years 1 months ago
2009
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...
172
click to vote
AAAI
2011
14 years 4 months ago
2011
Sustainable resource management in many domains presents large continuous stochastic optimization problems, which can often be modeled as Markov decision processes (MDPs). To solv...
148
click to vote
FOCI
2007
IEEE
15 years 10 months ago
2007
IEEE
— We evaluate the average waiting time between observing the price of financial markets and the next price change, especially in an on-line foreign exchange trading service for ...