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	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	Security Extension for Bresson-Chevassut-Pointcheval's model
Author	Chunjie Cao, Jianfeng Ma, Sangjae Moon
Citation	Vol. 6  No. 1  pp. 184~191
Keywords	Provable security, Distributed computing, Formal model, Multicast security

Title	Computational Issue of Fuzzy Rule-based System
Author	Chunshien Li
Citation	Vol. 6  No. 2  pp. 21~31
Keywords	Fuzzy inference system (FIS), neural-fuzzy system (NFS), curse of dimensionality (COD), COD-completeness paradox, soft-computing system.