264 search results - page 13 / 53 » Stochasticity of probabilistic systems: analysis methodologi... |
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
107
click to vote
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
102
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
This paper presents a user-centered design methodology for Decision Support Systems (DSSs), which is specifically built to face the socio-technical gap that often impedes DSS accep...
119
click to vote
IANDC
2006
14 years 11 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
WSC
2007
15 years 2 months ago
2007
This paper presents a new job release methodology, WIPLOAD Control, especially in semiconductor wafer fabrication environment. The performance of the proposed methodology is evalu...