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

Text Categorization Approach for Secure Design Pattern Selection Using Software Requirement Specification., , , , , and . IEEE Access, (2018)Efficient Performative Actions for E-Commerce Agents., , , and . Appl. Comput. Syst., 25 (1): 19-32 (2020)Adaptive Deadline-aware Scheme (ADAS) for Data Migration between Cloud and Fog Layers., and . KSII Trans. Internet Inf. Syst., 12 (3): 1002-1015 (2018)Service Architecture Models For Fog Computing: A Remedy for Latency Issues in Data Access from Clouds., and . KSII Trans. Internet Inf. Syst., 11 (5): 2310-2345 (2017)Intelligent use of fog devices in edge-cloud paradigm to assist in E-polling., , and . Concurr. Comput. Pract. Exp., (2019)Blockchain-Based Authentication and Trust Management Mechanism for Smart Cities., , , , , and . Sensors, 22 (7): 2604 (2022)Evaluating the Impact of Design Pattern Usage on Energy Consumption of Applications for Mobile Platform., , , and . Appl. Comput. Syst., 26 (1): 1-11 (2021)Tracking and Abnormal Behavior Detection in Video Surveillance Using Optical Flow and Neural Networks., , and . AINA Workshops, page 61-66. IEEE Computer Society, (2014)Control Schemes for Quadrotor UAV: Taxonomy and Survey., , , , , and . ACM Comput. Surv., 56 (5): 124:1-124:32 (May 2024)QoS Based Optimal Resource Allocation and Workload Balancing for Fog Enabled IoT., , , and . Open Comput. Sci., 11 (1): 262-274 (2021)