Title	Modeling and Formal Verification of Communication Protocols for Remote Procedure Call
Author	Nilimesh Halder, A.B.M Tariqul Islam, Ju Bin Song
Citation	Vol. 7  No. 7  pp. 63-71
Keywords	Formal Verification, Symbolic Model Verifier, Remote Procedure Call, Request protocol, Request Reply protocol, Request Reply Acknowledgement protocol

Title	Parsing of Korean Based on CFG Using Sentence Pattern Information
Author	Hyeon-Yeong Lee, Yi-Gyu Hwang, Yong-Seok Lee
Citation	Vol. 7  No. 7  pp. 57-62
Keywords	Resolution of Syntactic Ambiguity, Unification based CFG, Sentence Patterns Information (SPI), Semantic Marker, Parsing

Title	A Structural Analysis Approach for Online Handwritten Mathematical Expressions
Author	B.Q. Huang, M-T. Kechadi
Citation	Vol. 7  No. 7  pp. 47-56
Keywords	Online handwritten mathematical expression recognition, Structural analysis, Baseline, Multilayer Perceptron Neural Networks, Support Vector Machines

Title	Peer-to-Peer Privacy Preserving Reputation Inquiry: An Agent Assistant Approach
Author	Bon K. Sy
Citation	Vol. 7  No. 7  pp. 37-46
Keywords	Privacy preserving, trustworthy mediator proxy, double-blind communication, homomorphic encryption