Pervasive Layered Verification of a Distributed Real-Time System.
Steffen KnappPublished in: ICONS (2008)
Keyphrases
- real time
- computing environments
- distributed systems
- distributed environment
- cooperative
- multi agent
- mobile agents
- distributed stream processing
- verification method
- pervasive computing
- real time systems
- fault tolerant
- context aware
- control system
- vision system
- computer networks
- low cost
- video sequences
- artificial intelligence
- communication overhead
- smart spaces
- genetic algorithm
- pervasive environments
- databases