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	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