Title	Dual Space Drawing Methods for Ruled Surfaces with Particular Shapes
Author	Rena Ding, Yan Zhang
Citation	Vol. 6  No. 1  pp. 1~12
Keywords	dual space, de Casteljau algorithm, ruled surface, Bezier surface

Title	An Approach to Slicing Concurrent Ada Programs Based on Program Reachability Graphs
Author	Xiaofang Qi, Baowen Xu
Citation	Vol. 6  No. 1  pp. 29~37
Keywords	dependence analysis, slice, Ada, concurrent programs, reachability analysis

Title	Active Garbage Collection Algorithm for Sender-based Message Logging
Author	JinHo Ahn
Citation	Vol. 6  No. 1  pp. 38~43
Keywords	Distributed Systems, Log-based Recovery, Sender-based Message Logging, Garbage Collection

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