An Inconsistency Free Formalization of B/S Architecture.

Qin Li Huibiao Zhu Jifeng He

Published in: SEW (2007)

Keyphrases

bayesian networks
formal model
management system
data structure
data model
real time
neural network
artificial intelligence
computer vision
search algorithm
knowledge representation
software architecture
hardware implementation
architectural design
integrity checking