A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.
Kenneth LausdahlPeter Gorm LarsenNick BattlePublished in: ICFEM (2011)
Keyphrases
- real time
- distributed systems
- distributed environment
- computer networks
- control system
- low cost
- autonomous mobile
- multimedia communication
- programming language
- peer to peer
- mobile agents
- real time systems
- agent technology
- data acquisition
- distributed learning
- distributed network
- distributed stream processing
- distributed database systems
- production system
- quality of service
- cooperative
- reinforcement learning
- high level
- information retrieval