Author of the publication

Timing Constraints Specification and Verification for Web Service Compositions.

, , , and . APSCC, page 315-322. 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

MATVIZ: a semantic query and visualization approach for metallic materials data., , , , and . IJWIS, 13 (3): 260-280 (2017)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 Framework for Model Checking Web Service Compositions Based on BPEL4WS., , and . ICEBE, page 165-172. IEEE Computer Society, (2007)A Verification Method for Temporal Consistency of Service Flow., , , and . COMPSAC, page 1187-1192. IEEE Computer Society, (2008)Discover learning behavior patterns to predict certification., , , and . ICCSE, page 69-73. IEEE, (2016)A New Keywords Method to Improve Web Search., , , and . HPCC, page 477-484. IEEE, (2010)A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S., , and . GCC, page 346-353. IEEE Computer Society, (2007)Applied Analysis of Social Network Data in Personal Credit Evaluation., , , , , , , and . AIMS, volume 10970 of Lecture Notes in Computer Science, page 221-232. Springer, (2018)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)