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	Description Logic Based Conflict Detection Methods for RB-RBAC Model
Author	Haibo Yu, Qi Xie, Haiyan Che
Citation	Vol. 6  No. 1  pp. 120~125
Keywords	RB-RBAC, Description Logic, Policy conflict, Conflict detection

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	Logic of Integrating Metric Space and Time
Author	Xie Qi, Liu Dayou, Yu Qiangyuan, Yu Haibo
Citation	Vol. 6  No. 1  pp. 168~172
Keywords	Temporal logic, metric space, distance, spatio-temporal reasoning