Specifying Time-Sensitive Systems with TLA+.

Hehua Zhang Ming Gu Xiaoyu Song

Published in: COMPSAC (2010)

Keyphrases

distributed systems
computer vision
image processing
multiresolution
management system
complex systems
systems require
database
data mining
metadata
multiscale
expert systems
mobile devices
mobile robot
intelligent systems
computational models