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