Author of the publication

A practical approach to specifying and verifying mobile agent algorithms.

, , and . Int. J. Pervasive Comput. Commun., 1 (2): 115-122 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Tell me the truth: Practically public authentication for outsourced databases with multi-user modification., , , , and . Inf. Sci., (2017)A privacy-preserved full-text retrieval algorithm over encrypted data for cloud storage applications., , , , , and . J. Parallel Distributed Comput., (2017)Learning Ability Community for Personalized Knowledge Tracing., , , , , and . APWeb/WAIM (2), volume 12318 of Lecture Notes in Computer Science, page 176-192. Springer, (2020)F3KM: Federated, Fair, and Fast k-means., , , , , , , and . Proc. ACM Manag. Data, 1 (4): 241:1-241:25 (December 2023)User Context-Aware Attention Networks for Answer Selection., , , and . WISE, volume 14306 of Lecture Notes in Computer Science, page 67-81. Springer, (2023)A co-training based method for chinese patent semantic annotation., , and . CIKM, page 2379-2382. ACM, (2012)Novel Community Recommendation Based on a User-Community Total Relation., , , , and . DASFAA (2), volume 8422 of Lecture Notes in Computer Science, page 281-295. Springer, (2014)Rights Protection for Trajectory Streams., , , and . DASFAA (2), volume 8422 of Lecture Notes in Computer Science, page 407-421. Springer, (2014)Object Deputy Model and Its Applications., and . DASFAA, volume 5 of Advanced Database Research and Development Series, page 1-15. World Scientific, (1995)Reduction of Update Propagation Overhead for Data Warehousing Incorporating OODBs., and . DASFAA, volume 6 of Advanced Database Research and Development Series, page 195-204. World Scientific, (1997)