Author of the publication

Formal modeling and verification of cloud-based web service composition.

, , , , and . Concurr. Comput. Pract. Exp., (2020)

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

QoS Based Optimal Resource Allocation and Workload Balancing for Fog Enabled IoT., , , and . Open Comput. Sci., 11 (1): 262-274 (2021)Evaluating the Impact of Design Pattern Usage on Energy Consumption of Applications for Mobile Platform., , , and . Appl. Comput. Syst., 26 (1): 1-11 (2021)Maximizing Throughput of Hybrid FSO-RF Communication System: An Algorithm., , , , , , , and . IEEE Access, (2018)Formal modeling and verification of cloud-based web service composition., , , , and . Concurr. Comput. Pract. Exp., (2020)Selection of Network Protocols for Internet of Things Applications: A Review., , and . ICSC, page 359-362. IEEE, (2020)Design and Development of AI-Based Tourist Facilitator and Information Agent., , and . Appl. Comput. Syst., 25 (2): 124-133 (2020)Efficient Performative Actions for E-Commerce Agents., , , and . Appl. Comput. Syst., 25 (1): 19-32 (2020)A Novel Dual Ultrawideband CPW-Fed Printed Antenna for Internet of Things (IoT) Applications., , , , , and . Wirel. Commun. Mob. Comput., (2018)Neural network predictive control of vibrations in tall structure: An experimental controlled vision., , , , and . Comput. Electr. Eng., (2021)MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems., and . IEEE Access, (2016)