Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN.

Ramazan Savas Aygün Aidong Zhang

Published in: SPIN (2002)

Keyphrases

multimedia presentations
temporal aspects
multimedia data
multimedia databases
database
data mining
information retrieval
e learning
database systems
image data
structured data
multimedia objects