Zuling Kang

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Performance-Aware Cloud Resource Allocation via Fitness-Enabled Auction.
IEEE Trans. Parallel Distributed Syst., 2016

2013
A Novel Approach to Allocate Cloud Resource with Different Performance Traits.
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2010
A model checker for WS-CDL.
J. Syst. Softw., 2010

2009
Logic-based verification for Web services composition with TLA.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Verifying WS-CDL-Based Web Services Collaboration by Model Checking.
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

2007
WS-CDL+ for web service collaboration.
Inf. Syst. Frontiers, 2007

WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration.
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.
Proceedings of the 2005 International Conference on Semantics, 2005


  Loading...