Login / Signup
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