Mediation Systems Modeling and Verification.

Li Yang Raimund K. Ege Huiqun Yu

Published in: ICECCS (2005)

Keyphrases

building blocks
website
real time
genetic algorithm
management system
computer systems
complex systems
data warehouse
automated verification
formal verification
formal methods
model checking
learning systems
search algorithm
multiscale
search engine
neural network