Title	Development of a multi-media web board for user friendly e-learning system
Author	Duk-shin Oh
Citation	Vol. 6  No. 7  pp. 190-193
Keywords	E-learning, Web-based Training (WBT), Learning Management System (LMS), Multi-media web board

Title	Genetic Algorithm for the Transportation Problem with Discontinuous Piecewise Linear Cost Function
Author	Su Sheng, Zhan Dechen, Xu Xiaofei
Citation	Vol. 6  No. 7  pp. 182-189
Keywords	Transportation problem, discontinuous piecewise linear cost function, genetic algorithm, spanning tree

Title	Constructing the Reaching Region Graph for Timed Automata with PVS
Author	Huaikou Miao, Qingguo Xu
Citation	Vol. 6  No. 7  pp. 175-181
Keywords	Timed Automata, Clock region, Region equivalence, Reachability analysis, PVS

Title	Verification of FSM using Attributes Definition of NPCs Models
Author	Chong-Han Kim, Seung-Moon Jeong, Gi-Taek Hur, Byung-Gi Kim
Citation	Vol. 6  No. 7  pp. 168-174
Keywords	NPC, FSM, Model Checking, Virtual Ocean