Author of the publication

A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services.

, , and . ICWS, page 567-574. IEEE Computer Society, (2015)

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

ReputationNet: Reputation-Based Service Recommendation for e-Science., , , , , , and . IEEE Trans. Serv. Comput., 8 (3): 439-452 (2015)Recommending Nearby Strangers Instantly Based on Similar Check-In Behaviors., , , , , , and . IEEE Trans Autom. Sci. Eng., 12 (3): 1114-1124 (2015)Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets., , and . IEEE Trans Autom. Sci. Eng., 11 (2): 594-606 (2014)A 3D multilayer optical network on chip based on mesh topology., , , , and . Photonic Netw. Commun., 32 (2): 293-299 (2016)A Low-Delay, Light-Weight Publish/Subscribe Architecture for Delay-Sensitive IOT Services., , , , , and . Int. J. Web Serv. Res., 10 (3): 60-81 (2013)MECA-Net: A MultiScale Feature Encoding and Long-Range Context-Aware Network for Road Extraction from Remote Sensing Images., , , , , , , and . Remote. Sens., 14 (21): 5342 (2022)TRS: Temporal Request Scheduling with bounded delay assurance in a green cloud data center., , , and . Inf. Sci., (2016)Secure Gateway of Internet of Things Based on AppWeb and Secure Sockets Layer for Intelligent Granary Management System., , , and . CCTA (1), volume 419 of IFIP Advances in Information and Communication Technology, page 78-89. Springer, (2013)Faster and Cheaper: Parallelizing Large-Scale Matrix Factorization on GPUs., , and . HPDC, page 219-230. ACM, (2016)RCA-NET: Image Recovery Network with Channel Attention Group for Image Dehazing., , , , , and . ICSM, volume 12015 of Lecture Notes in Computer Science, page 330-337. Springer, (2019)