Compositional Checking of Communication among Observers.
Ralf PingerHans-Dieter EhrichPublished in: FASE (2001)
Keyphrases
- communication systems
- communication networks
- information retrieval
- communication patterns
- case study
- communication cost
- real time
- human computer interaction
- face to face interactions
- communication overhead
- resource constrained
- information sharing
- multiscale
- metadata
- decision making
- learning algorithm
- data mining
- neural network