Title	The Semi-automated DNA Computing Model for solving the Satisfiability Problem
Author	Yin Zhixiang, Cui Jianzhong, Shi Xiaohong, Pan Linqiang
Citation	Vol. 6  No. 1  pp. 163~167
Keywords	The satisfiability problem, SAT problem, DNA computing, Semi-automated equipment

Title	Towards Optimal Model Order Selection for Autoregressive Spectral Analysis of Mental Tasks Using Genetic Algorithm
Author	Ramaswamy Palaniappan
Citation	Vol. 6  No. 1  pp. 153~162
Keywords	Autoregressive, EEG, Genetic Algorithm, Mental tasks, Model order

Title	An Immune Algorithm based on the Complement Activation Pathway
Author	Chen Guangzhu, Li Zhishu, Yuan Daohua, Nimazhaxi, Zhai yusheng
Citation	Vol. 6  No. 1  pp. 147~152
Keywords	Artificial immune system, Complement system, Immune complement algorithm, Cleave operator, Bind operator

Title	A Service Composition-Oriented Workflow Paradigm
Author	Wanchun Dou, Shijie Cai
Citation	Vol. 6  No. 1  pp. 136~146
Keywords	Certificate, Workflow, Service Computing, Web Service, Time Constraint, QoS, Temporal Logic