Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems.
Stephan KleukerPublished in: FORTE (1996)
Keyphrases
- multi user
- formal methods
- multimedia systems
- virtual environment
- knowledge based systems
- software engineering
- safety critical
- virtual world
- single user
- multi granularity
- augmented reality
- development lifecycle
- development process
- multimedia
- user interface
- model checking
- security properties
- case study
- information retrieval
- multiple users
- formal specification
- multimedia databases
- computer graphics
- similarity measure
- database systems
- database
- information retrieval systems
- intelligent multimedia