SLO Auditing Task Analysis, Decomposition, and Specification.

Hasan Burkhard Stiller

Published in: IEEE Trans. Netw. Serv. Manag. (2011)

Keyphrases

formal specification
image processing
specification language
wavelet packet
provably correct
database
hierarchical decomposition
decomposition method
high level
data exchange
statistical databases
petri net
evolutionary algorithm
multiscale
decomposition algorithm
formal language
artificial intelligence