Login / Signup
Zuling Kang
Publication Activity (10 Years)
Years Active: 2005-2016
Publications (10 Years): 1
Top Topics
Strategy Proof
Negotiation Mechanism
Resource Allocation
Grid Environment
Top Venues
IEEE SCC
IEEE Trans. Parallel Distributed Syst.
</>
Publications
</>
Hongbing Wang
,
Zuling Kang
,
Lei Wang
Performance-Aware Cloud Resource Allocation via Fitness-Enabled Auction.
IEEE Trans. Parallel Distributed Syst.
27 (4) (2016)
Zuling Kang
,
Hongbing Wang
A Novel Approach to Allocate Cloud Resource with Different Performance Traits.
IEEE SCC
(2013)
Hongbing Wang
,
Zuling Kang
,
Ning Zhou
,
Li Li
A model checker for WS-CDL.
J. Syst. Softw.
83 (10) (2010)
Hongbing Wang
,
Li Li
,
Chen Wang
,
Zuling Kang
,
Dongxi Liu
,
Jemma Wu
,
Athman Bouguettaya
Logic-based verification for Web services composition with TLA.
SOCA
(2009)
Zuling Kang
,
Hongbing Wang
Verifying WS-CDL-Based Web Services Collaboration by Model Checking.
SERVICES I
(2009)
Zuling Kang
,
Hongbing Wang
,
Patrick C. K. Hung
WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration.
ICWS
(2007)
Zuling Kang
,
Hongbing Wang
,
Patrick C. K. Hung
WS-CDL+ for web service collaboration.
Inf. Syst. Frontiers
9 (4) (2007)
Zuling Kang
,
Hongbing Wang
Implementation and Application of Ontology Databases with User-Defined Rules (UDR) Supported.
SKG
(2005)