To search, Click below search items.
All Published Papers Search Service
Title
Modeling and Formal Verification of Communication Protocols for Remote Procedure Call
Author
Nilimesh Halder, A.B.M Tariqul Islam, Ju Bin Song
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
Parsing of Korean Based on CFG Using Sentence Pattern Information
Hyeon-Yeong Lee, Yi-Gyu Hwang, Yong-Seok Lee
Vol. 7 No. 7 pp. 57-62
Resolution of Syntactic Ambiguity, Unification based CFG, Sentence Patterns Information (SPI), Semantic Marker, Parsing
A Structural Analysis Approach for Online Handwritten Mathematical Expressions
B.Q. Huang, M-T. Kechadi
Vol. 7 No. 7 pp. 47-56
Online handwritten mathematical expression recognition, Structural analysis, Baseline, Multilayer Perceptron Neural Networks, Support Vector Machines
Peer-to-Peer Privacy Preserving Reputation Inquiry: An Agent Assistant Approach
Bon K. Sy
Vol. 7 No. 7 pp. 37-46
Privacy preserving, trustworthy mediator proxy, double-blind communication, homomorphic encryption