A Family of Resource-Bound Real-Time Process Algebras.

Insup Lee Jin-Young Choi Hee-Hwan Kwak Anna Philippou Oleg Sokolsky

Published in: FORTE (2001)

Keyphrases

real time
data sets
low cost
vision system
development process
database
real world
data mining
decision trees
case study
lower bound
special case
management system
data acquisition
resource management