4962 search results - page 606 / 993 » Stochastic Model Checking |
168
Voted
EDCC
2010
Springer
15 years 9 months ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
126
Voted
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
133
click to vote
WSC
2007
15 years 7 months ago
2007
We present a single-stage multiple-comparison procedure for comparing parameters of independent systems, where the parameters are not necessarily means or steady-state means. We a...
149
click to vote
WSC
2007
15 years 7 months ago
2007
State-dependent importance sampling (SDIS) has proved to be particularly useful in simulation (specially in rare event analysis of stochastic systems). One approach for designing ...
136
click to vote
WSC
2008
15 years 7 months ago
2008
Estimating the variance of the sample mean from a stochastic process is essential in assessing the quality of using the sample mean to estimate the population mean which is the fu...