Verification Environment for a SCMP Architecture.
Wenbin YaoNianmin YaoShaobin CaiJun NiPublished in: IMSCCS (2) (2006)
Keyphrases
- real time
- distributed multimedia
- mobile robot
- management system
- service architecture
- client server architecture
- simulation environment
- multi agent platform
- execution environment
- face verification
- model checking
- dynamic environments
- environmental conditions
- complex environments
- network architecture
- conceptual model
- command and control
- reactive systems
- wireless sensor networks
- database