Author of the publication

Specification and Verification of Safe Web Service Behavior Adaptation.

, , , , and . PAAP, page 417-421. 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Research on Behavior Adaptation of Software Component., , , , , and . PAAP, page 412-416. IEEE Computer Society, (2010)Research on CRO's Dilemma In Sapiens Chain: A Game Theory Method., , , , and . CoRR, (2018)A KPN Based Cooperative Composition Model of Services., , and . GCC, volume 3795 of Lecture Notes in Computer Science, page 102-110. Springer, (2005)Node Scheduling: A Blockchain-Based Node Selection Approach on Sapiens Chain., , , , and . BigComp, page 1-7. IEEE, (2019)Flowlet-Based Stateful Multipath Forwarding in Heterogeneous Internet of Things., , , , , , and . IEEE Access, (2020)The formal specification of ORN semantics., , and . Inf. Softw. Technol., 42 (3): 159-170 (2000)Design and implementation of IBIDS - an Internet based integrated design system., , and . ACM Southeast Regional Conference, ACM, (1999)Real-Time Target Tracking Through Mobile Crowdsensing., and . WISE (2), volume 10570 of Lecture Notes in Computer Science, page 3-18. Springer, (2017)Specifying and Enforcing Association Semantics via ORN in the Presence of Association Cycles., , , and . IEEE Trans. Knowl. Data Eng., 14 (6): 1249-1257 (2002)A weighted ranking algorithm for facet-based component retrieval system., , , and . ACST, page 274-279. IASTED/ACTA Press, (2006)