Towards an Algebra for Real-Time Programs.

Brijesh Dongol Ian J. Hayes Larissa Meinicke Kim Solin

Published in: RAMiCS (2012)

Keyphrases

real time
image processing
multi agent
query language
high speed
vision system
database
real world
genetic algorithm
information systems
decision trees
database systems
mobile robot
high fidelity
boolean algebra