Compensable Programs.

Published in: Formal Methods and Hybrid Real-Time Systems (2007)

Keyphrases

automatic programming
information technology
multimedia
case study
three dimensional
multiresolution
program execution
prolog programs
free software