Author of the publication

A Verification Method for Temporal Consistency of Service Flow.

, , , and . COMPSAC, page 1187-1192. IEEE Computer Society, (2008)

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

Model Checking for Web Service Flow Based on Annotated OWL-S., , and . SNPD, page 741-746. IEEE Computer Society, (2008)Sensitive Topic Detection Model Based on Collaboration of Dynamic Case Knowledge Base., , , and . WETICE, page 156-161. IEEE Computer Society, (2011)EM3B2 - a semantic integration engine for materials science., , and . Program, 50 (1): 58-82 (2015)Management of Non-functional Attributes of Parallel Components., , , , and . ICCS, volume 4 of Procedia Computer Science, page 461-470. Elsevier, (2011)A Verification Method for Temporal Consistency of Service Flow., , , and . COMPSAC, page 1187-1192. IEEE Computer Society, (2008)A Framework for Model Checking Web Service Compositions Based on BPEL4WS., , and . ICEBE, page 165-172. IEEE Computer Society, (2007)Material Scientific Data Integration for Semantic Grid., , , and . SKG, page 414-417. IEEE Computer Society, (2007)Adaptive Line Size Cache for Irregular References on Cell Multicore Processor., , , , and . NPC, volume 6289 of Lecture Notes in Computer Science, page 314-328. Springer, (2010)A New Keywords Method to Improve Web Search., , , and . HPCC, page 477-484. IEEE, (2010)A Software Complexity Metric for SCA Specification., , and . CSSE (2), page 481-484. IEEE Computer Society, (2008)978-0-7695-3336-0.