Heqing Guo

According to our database, Heqing Guo authored at least 17 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Formal Description and Verification of Web Service Composition Based on OOPN.

Jindian Su, Shanshan Yu, Heqing Guo

Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2008

Analysis of Web Service Substitutability Based on Typed Pi-Calculus.

Jindian Su, Shanshan Yu, Heqing Guo

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

Dynamic Substitutability Analysis of Web Service Composition via Extended Pi-Calculus.

Jindian Su, Shanshan Yu, Heqing Guo

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

2007

A New Certified Email Protocol.

Hao Wang, Yuyi Ou, Jie Ling, Xiang Xu, Heqing Guo

Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

2006

A new dependable exchange protocol.

Hao Wang, Heqing Guo, Manshan Lin, Jianfei Yin, Qi He, Jun Zhang

Comput. Commun., 2006

An Evaluation Model for Web Service.

Tao Han, Heqing Guo, Dong Li, Ying Gao

Proceedings of the Interdisciplinary and Multidisciplinary Research in Computer Science, 2006

2005

Matchmaking for Semantic Web Services based on OWL-S.

Zhuang Liu, Heqing Guo, Yuanfei Huang

Proceedings of the 2005 International Conference on Semantics, 2005

Towards Collaborative Integration of Web services and Agents for Business Process.

Zhuang Liu, Heqing Guo, Yuanfei Huang

Proceedings of the 2005 International Conference on Semantics, 2005

Goal Description Language for Semantic Web Service Automatic Composition.

Manshan Lin, Heqing Guo, Jianfei Yin

Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2005), 31 January, 2005

Research on Load Balance of Multi Clusters Architecture Based on Business Components Partition.

Yiqiang Zheng, Heqing Guo, Wei Gao, Botong Xu

Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

A Fair Item-Item Exchange Protocol Satisfying Newly Introduced Requirements.

Hao Wang, Heqing Guo, Manshan Lin, Jianfei Yin

Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Abuse-Free Item Exchange.

Hao Wang, Heqing Guo, Jianfei Yin, Qi He, Manshan Lin, Jun Zhang

Proceedings of the Computational Science and Its Applications, 2005

Dependable Transaction for Electronic Commerce.

Hao Wang, Heqing Guo, Manshan Lin, Jianfei Yin, Qi He, Jun Zhang

Proceedings of the Computational Science and Its Applications, 2005

Solving Qos-Driven Web Service Dynamic Composition as Fuzzy Constraint Satisfaction.

Manshan Lin, Jianshan Xie, Heqing Guo, Hao Wang

Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

2004

New Fair Payment Protocols.

Hao Wang, Heqing Guo, Manshan Lin

Proceedings of the ICETE 2004, 2004

Pattern Semantic Link: A Reusable Pattern Representation in MDA Context.

Jianfei Yin, Heqing Guo, Xinyi Peng, Manshan Lin

Proceedings of the Distributed Computing and Internet Technology, 2004

Fair Payment Protocols for E-Commerce.

Hao Wang, Heqing Guo

Proceedings of the Building The E-Service Society: E-Commerce, 2004