{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:20:37Z","timestamp":1740169237318,"version":"3.37.3"},"reference-count":48,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100002383","name":"Deanship of Scientific Research at King Saud University through the research group","doi-asserted-by":"publisher","award":["RG-1438-071"],"award-info":[{"award-number":["RG-1438-071"]}],"id":[{"id":"10.13039\/501100002383","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2021]]},"DOI":"10.1109\/access.2021.3097182","type":"journal-article","created":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T20:39:34Z","timestamp":1627677574000},"page":"105286-105296","source":"Crossref","is-referenced-by-count":2,"title":["Particle Swarm Optimization Algorithm for Detecting Distributed Predicates"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2436-0249","authenticated-orcid":false,"given":"Eslam","family":"Al Maghayreh","sequence":"first","affiliation":[{"name":"Faculty of Applied Computer Science, King Saud University, Riyadh, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4668-7840","authenticated-orcid":false,"given":"Habib","family":"Dhahiri","sequence":"additional","affiliation":[{"name":"Faculty of Applied Computer Science, King Saud University, Riyadh, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2783-860X","authenticated-orcid":false,"given":"Fahad","family":"Albogamy","sequence":"additional","affiliation":[{"name":"Computer Sciences Program, Turabah University College, Taif University, Ta’if, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4467-650X","authenticated-orcid":false,"given":"Mohamad Mahmoud","family":"Al Rahhal","sequence":"additional","affiliation":[{"name":"Faculty of Applied Computer Science, King Saud University, Riyadh, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4163-7625","authenticated-orcid":false,"given":"Awais","family":"Mahmood","sequence":"additional","affiliation":[{"name":"Faculty of Applied Computer Science, King Saud University, Riyadh, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esam","family":"Othman","sequence":"additional","affiliation":[{"name":"Faculty of Applied Computer Science, King Saud University, Riyadh, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wail S.","family":"Elkilani","sequence":"additional","affiliation":[{"name":"Faculty of Applied Computer Science, King Saud University, Riyadh, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2007.4447747"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ASPEC.2007.39"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.4018\/jiit.2013010104"},{"key":"ref32","first-page":"153","article-title":"A harmony search based algorithm for detecting distributed predicates","volume":"3","author":"maghayreh","year":"2012","journal-title":"Int J Adv Comput Sci Appl"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CSCI.2017.280"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/71.553309"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2011.6030585"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2001.918927"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-004-0117-0"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2007.1077"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2013.19"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1995.488968"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.162"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICPPW.2012.87"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050049"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOM.2009.4912761"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1012334"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2012.259"},{"journal-title":"Simplifying Runtime Verification of Distributed Programs Ameliorating the State Space Explosion Problem","year":"2010","author":"maghayreh","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3390\/s20113028"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3390\/s20123422"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3007748.3007780"},{"key":"ref27","first-page":"215","article-title":"Virtual time and global states of distributed systems","author":"mattern","year":"1989","journal-title":"Proc Int Workshop Parallel Distrib Algorithms"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4018\/IJDST.2018070104"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2424879"},{"key":"ref29","first-page":"382","article-title":"Efficient distributed snapshots","author":"spezialetti","year":"1986","journal-title":"Proc ICDCS"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.12.037"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2409839"},{"key":"ref7","first-page":"17:1","article-title":"Predicate detection for parallel computations with locking constraints","author":"chang","year":"2016","journal-title":"Proc 20th Int Conf Princ Distrib Syst (OPODIS)"},{"key":"ref2","article-title":"Applying predicate detection to the constrained optimization problems","volume":"abs 1812 10431","author":"garg","year":"2018","journal-title":"CoRR"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.306"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3288599.3288604"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.02.028"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2018.00090"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2020.03.055"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2003.1225059"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2847732"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.176"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CCDC.2018.8407336"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1504\/IJBIC.2018.093328"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2843443"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-015-1923-y"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2018.2828099"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s12293-016-0212-3"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ISCBI.2015.8"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-1897"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9312710\/09483908.pdf?arnumber=9483908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T20:09:40Z","timestamp":1662667780000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9483908\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/access.2021.3097182","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2021]]}}}