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	Route Modeling in a Self-Organizing HIP Infrastructure
Author	Dmitry Korzun, Andrei Gurtov
Citation	Vol. 6  No. 1  pp. 37~46
Keywords	HIP, DHT, route modeling, linear Diophantine constraints, Hilbert basis

Title	Particle Swarm in Binary CSPs with Dynamic Variable Ordering
Author	Qingyun Yang, Jigui Sun, Juyang Zhang
Citation	Vol. 6  No. 2  pp. 180~186
Keywords	Discrete Particle Swarm, Constraint Satisfaction Problem, Dynamic Variable Ordering

Title	A Logic-based Branch and Bound Algorithm for Resource Constrained Scheduling Problem
Author	Juyang Zhang, Jigui Sun, Qingyun Yang
Citation	Vol. 6  No. 2  pp. 237~241
Keywords	Scheduling, Logic, Branch and Bound, Constraint Programming