Login / Signup
Verification and Prediction of Timed Probabilistic Properties over the Dmtf CIM.
Iman Poernomo
Heinz W. Schmidt
Jane Jayaputera
Published in:
Int. J. Cooperative Inf. Syst. (2006)
Keyphrases
</>
prediction accuracy
probabilistic model
bayesian networks
structural properties
petri net
generative model
markov chain
data driven
data streams
information theoretic
real time
desirable properties
probabilistic reasoning
probability theory
prediction algorithm
signature verification
formal verification