( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-Based Methods for Linking Web Service Choreography and Orchestration.

, , , , и . APSEC, стр. 166-175. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Tian Tan

Tian Tian

Chuan Huat Ng

Xiaoyong Tian

Min Tian

 

Другие публикации лиц с тем же именем

JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification., , , и . AsiaCCS, стр. 109-120. ACM, (2015)Model-Based Methods for Linking Web Service Choreography and Orchestration., , , , и . APSEC, стр. 166-175. IEEE Computer Society, (2010)Towards Verification of a Service Orchestration Language.. SSIRI (Companion), стр. 36-37. IEEE Computer Society, (2010)Optimizing selection of competing features via feedback-directed evolutionary algorithms., , , , , и . ISSTA, стр. 246-256. ACM, (2015)JSFox: integrating static and dynamic type analysis of JavaScript programs., , , , , и . ICSE (Companion Volume), стр. 256-258. IEEE Computer Society, (2017)Service Adaptation with Probabilistic Partial Models., , , , , , и . ICFEM, том 10009 из Lecture Notes in Computer Science, стр. 122-140. (2016)Automated synthesis of local time requirement for service composition., , , , , , и . CoRR, (2020)Management of Time Requirements in Component-Based Systems., , и . FM, том 8442 из Lecture Notes in Computer Science, стр. 399-415. Springer, (2014)CrowdService: serving the individuals through mobile crowdsourcing and service composition., , , , , , и . ASE, стр. 214-219. ACM, (2016)Verification of Orchestration Systems Using Compositional Partial Order Reduction., , , и . ICFEM, том 6991 из Lecture Notes in Computer Science, стр. 98-114. Springer, (2011)