8Xie F,Yang G,Song X.Component-based hardware/software co-verification for building trustworthy embedded systems[J].Jour-nal of Systems and Software,2007,80(5):643-654.
9Dorigo M, Di Caro G, Gambardella L M. Ant algorithms for discrete optimization [ J ]. Artificial Life, 1999,5 ( 2 ) : 137 - 172.
10Padmanabhuni S, Singh V, Kumar K M S, et al. Preventing Service Oriented Denial of Service (PreSODoS) : a proposed approach [ C ]//Proc of ICWS. Chicago : IEEE, 2006 : 577 - 584.
