Modeling Video-on-Demand System in Temporal Logic.

Weimin Liu Huadong Ma

Published in: IEEE Pacific Rim Conference on Multimedia (2001)

Keyphrases

temporal logic
video on demand
model checking
verification method
reactive systems
digital video
quality of service
multimedia content
linear temporal logic
web services
computational complexity
image quality
belief revision
low complexity
video streaming
network bandwidth