4962 search results - page 411 / 993 » Stochastic Model Checking |
157
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
146
click to vote
ISDA
2009
IEEE
15 years 10 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...
156
click to vote
IWFM
2000
15 years 5 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
144
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
163
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper is concerned with developing an information-theoretic framework to aggregate the state space of a Hidden Markov Model (HMM) on discrete state and observation spaces. The...