Creditability Modeling of Distributed Embedded System Based on Real-Time Interaction Specification.
Jing ZhangHui RongChunhong ZhangFenghong XiangYunsheng ZhangPublished in: ISCID (2) (2009)
Keyphrases
- real time
- distributed systems
- low cost
- interaction model
- computer networks
- neural network
- cooperative
- control system
- high speed
- distributed stream processing
- colored petri nets
- interacting agents
- distributed network
- real time systems
- distributed data
- human interaction
- formal specification
- distributed database systems
- distributed environment
- mobile agents
- human computer interaction
- virtual environment
- learning environment
- image sequences