( en | de | ru )

 

Disambiguation of "Rahmani, Amir Masoud"

Author of the publication

copydeleteadd this publication to your clipboard
Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research.

, , and . Int. J. Commun. Syst., (2018)

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.

Amir Masoud Hossini

Amir Masoud Vahdat

Mohammed Rahmani

Mohammad Rahmani

Mehrnoush Rahmani

 

Other publications of authors with the same name

Multiprocessor Independent Tasks Scheduling Using Modified Improved Harmony Search Algorithm., , , and . FCS, page 48-54. CSREA Press, (2010)Enterprise service composition models in IoT context: solutions comparison., , and . J. Supercomput., 78 (2): 2015-2042 (2022)A flexible energy management approach for smart healthcare on the internet of patients (IoP)., , , and . J. Supercomput., 78 (7): 10211-10249 (2022)Distributed scheduling method for multiple workflows with parallelism prediction and DAG prioritizing for time constrained cloud applications., , , and . Comput. Networks, (2021)An IEEE 1149.1-based BIST method for at-speed testing of inter-switch links in network on chip., , and . Microelectron. J., 41 (7): 417-429 (2010)Improving security using SVM-based anomaly detection: issues and challenges., , , , , and . Soft Comput., 25 (4): 3195-3223 (2021)A Mixed-integer programming model using particle swarm optimization algorithm for resource discovery in the cloudiot., , and . Peer-to-Peer Netw. Appl., 15 (5): 2326-2346 (2022)Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research., , and . Int. J. Commun. Syst., (2018)De-centralised dynamic task scheduling using hill climbing algorithm in cloud computing environments., and . Int. J. Cloud Comput., 6 (1): 79-94 (2017)A memetic grouping genetic algorithm for cost efficient VM placement in multi-cloud environment., , , and . Clust. Comput., 23 (2): 797-836 (2020)