Searching for authors named "Ziyang Duan" – sorted by Relevance.
-
A Model for Abstract Process Specification, Verification and Composition
- A Model for Abstract Process Specification, Verification and Composition ∗ Ziyang Duan, Arthur
- Cited by 5 (0 self) – Add To MetaCart
-
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
- Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes Ziyang Duan, Arthur
- Cited by 3 (0 self) – Add To MetaCart
-
An XML-based Framework for Rapid Development of Interoperable Trading Systems
- Duan ∗ Reuters America Inc. 3 Times Square, 18th Floor New York, NY 10036 {Subhra.Bose, Ziyang.Duan
- Add To MetaCart
-
A Locality-Preserving Cache-Oblivious Dynamic Dictionary
- A Locality-Preserving Cache-Oblivious Dynamic Dictionary Michael A. Bender y Ziyang Duan z
- Cited by 54 (17 self) – Add To MetaCart
-
A Structured Approach To Trade Negotiation Applications
- A Structured Approach To Trade Negotiation Applications Ziyang Duan Albert Loo Biswajit Sarkar
- Cited by 1 (1 self) – Add To MetaCart

