Zuling Kang

According to our database, Zuling Kang authored at least 8 papers between 2005 and 2016.

Collaborative distances:

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

2016

Performance-Aware Cloud Resource Allocation via Fitness-Enabled Auction.

Hongbing Wang, Zuling Kang, Lei Wang

IEEE Trans. Parallel Distributed Syst., 2016

2013

A Novel Approach to Allocate Cloud Resource with Different Performance Traits.

Zuling Kang, Hongbing Wang

Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2010

A model checker for WS-CDL.

Hongbing Wang, Zuling Kang, Ning Zhou, Li Li

J. Syst. Softw., 2010

2009

Logic-based verification for Web services composition with TLA.

Hongbing Wang, Li Li, Chen Wang, Zuling Kang, Dongxi Liu, Jemma Wu, Athman Bouguettaya

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Verifying WS-CDL-Based Web Services Collaboration by Model Checking.

Zuling Kang, Hongbing Wang

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

2007

WS-CDL+ for web service collaboration.

Zuling Kang, Hongbing Wang, Patrick C. K. Hung

Inf. Syst. Frontiers, 2007

WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration.

Zuling Kang, Hongbing Wang, Patrick C. K. Hung

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

2005

Implementation and Application of Ontology Databases with User-Defined Rules (UDR) Supported.

Zuling Kang, Hongbing Wang

Proceedings of the 2005 International Conference on Semantics, 2005