Author of the publication

Path-based verification for composition of semantic web services.

, , , and . SAC, page 2392-2396. ACM, (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

A Novel Cell Segmentation Method and Cell Phase Identification Using Markov Model., , , and . IEEE Trans. Information Technology in Biomedicine, 13 (2): 152-157 (2009)Optimizing Instruction Prefetching to Improve Worst-Case Performance for Real-Time Applications., , and . JCSE, 3 (1): 59-71 (2009)An Interference Matrix Based Approach to Bounding Worst-Case Inter-Thread Cache Interferences and WCET for Multi-Core Processors., and . JCSE, 5 (2): 131-140 (2011)Computing and Reducing Transient Error Propagation in Registers., and . JCSE, 5 (2): 121-130 (2011)Intelligent load frequency controller using GrADP for island smart grid with electric vehicles and renewable resources., , , and . Neurocomputing, (2015)The moderate deviation principle for self-normalized sums of sums of i.i.d. random variables., and . Appl. Math. Lett., 22 (5): 715-718 (2009)A multifunction transceiver RFIC for 802.11a/b/g WLAN and DVB-H applications., , , , , , , , , and 4 other author(s). CICC, page 249-252. IEEE, (2008)A fully integrated zero-IF mobile TV tuner RFIC for S-band CMMB application., , , , , , , , and . CICC, page 253-256. IEEE, (2008)WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches., and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 80-89. IEEE Computer Society, (2008)Frequency control using on-line learning method for island smart grid with EVs and PVs., , , , and . IJCNN, page 1440-1446. IEEE, (2014)