A Scalable Approach to Multi-style Architectural Modeling and Verification.

Stephen Wong Jing Sun Ian Warren Jun Sun

Published in: ICECCS (2008)

Keyphrases

model checking
databases
software engineering
modeling framework
neural network
real world
information retrieval
decision making
multimedia
data structure
multi agent systems
multiresolution
distributed systems
lightweight
false acceptance rate