Title	GILAO*: Solving Uncertainty Planning with Comparison of Generalized Intervals
Author	Jigui Sun, Shuai Lu, Minghao Yin, Shulin Cui
Citation	Vol. 6  No. 1  pp. 57~63
Keywords	uncertainty planning, comparison of generalized intervals, Markov Decision Process

Title	An efficient development method for plant control software using algebraic specification and software components
Author	Masakazu Takahashi, Satoru Takahashi, Kazuhiko Tsuda
Citation	Vol. 6  No. 1  pp. 69~80
Keywords	Plant, control software, algebraic specification, software components, integrated development environment

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

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