Design and Verification of Distributed Multi-media Systems.
David H. AkehurstJohn DerrickA. Gill WatersPublished in: FMOODS (2003)
Keyphrases
- distributed systems
- management system
- knowledge based systems
- design criteria
- formal methods
- design issues
- neural network
- multimedia
- case study
- cooperative
- building blocks
- high assurance
- design tools
- design decisions
- engineering design
- distributed environment
- user interface
- e learning
- retrieval systems
- databases
- design principles
- computer systems
- intelligent systems
- object oriented
- data intensive
- expert systems
- distributed architecture
- metadata
- design requirements
- functional verification