To search, Click below search items.

 

All Published Papers Search Service

Results for ; Total 10576

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


[1] ... [prev] [2411] [2412] [2413] [2414] [2415] [2416] [2417] [2418] [2419] [2420] [next] ... [2644]