Modeling and Specification of Real-Time Interfaces with UTP.

Dang Van Hung Hoang Truong

Published in: Theories of Programming and Formal Methods (2013)

Keyphrases

real time
low cost
high level
relational databases
computer vision
website
data mining
image sequences
similarity measure
user interface
evolutionary algorithm
hidden markov models
modeling method
colored petri nets