4962 search results - page 282 / 993 » Stochastic Model Checking |
119
click to vote
WSC
2008
15 years 5 months ago
2008
Commercial airlines often encounter imbalances in their inventory of unit loading devices (ULDs). A stochastic simulation model was developed to evaluate inventory policies. The s...
117
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
139
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
109
click to vote
WSC
2004
15 years 4 months ago
2004
In this research, we investigate how well Weibull, Gamma, and special bimodal distribution are suited as an alternative to the exponential distribution approach in the stochastic ...
136
click to vote
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract--We present an analytical model combining geometric and stochastic approaches to describe the effects of attacks and countermeasures on MANETs. In particular, we focus on ...