Specifying Constraints with Message Sequence Specifications.

Yongzhong Tu Wei-Tek Tsai Yang Xiang

Published in: APSEC (1999)

Keyphrases

email
constrained optimization
data sets
neural network
linear constraints
database
genetic algorithm
high level
video sequences
pairwise
object oriented
constraint satisfaction
constraint programming
geometric constraints
reactive systems