A Formal Modeling for Component Behaviors Based on Event Track.

Zhongyu Chen Jichang Zhang Huaikou Miao Zhenghu Guo

Published in: SOSE (2010)

Keyphrases

data sets
artificial intelligence
event detection
behavioral models
genetic algorithm
search engine
social networks
formal specification
formal models
knowledge sharing and reuse