{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:19:33Z","timestamp":1766067573000,"version":"3.41.0"},"reference-count":36,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T00:00:00Z","timestamp":1680652800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61902326 and 62072078"],"award-info":[{"award-number":["61902326 and 62072078"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"National Science Foundation of Sichuan, China","award":["2022NSFSC0550"],"award-info":[{"award-number":["2022NSFSC0550"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Sen. Netw."],"published-print":{"date-parts":[[2023,5,31]]},"abstract":"<jats:p>Based on the Internet of Behavior (IoB), mobile crowd-sensing (MCS) utilizes the Internet of Things (IoT) to recruit users by analyzing behavioral patterns. MCS is widely used in numerous large-scale and complex monitoring services, but it cannot provide stable and high-quality services due to nondeterministic user mobility and behaviors, which has a vital impact on recruiting high-quality users. In this article, a stochastic semi-algebraic hybrid system (SSAHS) model is constructed to characterize the user mobility and behaviors of the MCS systems. Based on the definition of probabilistic path and task execution rate, a nondeterministic evaluation mechanism is proposed to measure nondeterministic user mobility and behaviors and to give the probability of the user completing the MCS task under the specified time bound and space conditions. The greater the probability is, the higher the quality of the user. Furthermore, a user recruitment scheme based on a nondeterministic evaluation mechanism (NUR) is developed. The NUR employs historical user data to predict user mobility and behaviors; high-quality users are recruited to quickly upload reliable sensing data. We conduct simulation experiments based on a real-world user trace dataset, Geolife.The results show that compared with competing recruitment strategies, NUR achieves a higher quality of service for the same MCS sensing tasks.<\/jats:p>","DOI":"10.1145\/3546951","type":"journal-article","created":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T11:29:02Z","timestamp":1657538942000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Nondeterministic Evaluation Mechanism for User Recruitment in Mobile Crowd-Sensing"],"prefix":"10.1145","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8382-2656","authenticated-orcid":false,"given":"Ying","family":"Xie","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, Southwest Minzu University, Sichuan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6641-6031","authenticated-orcid":false,"given":"Xiaohui","family":"Liu","sequence":"additional","affiliation":[{"name":"National Computer Network Emergency Response Coordination Center, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1569-9657","authenticated-orcid":false,"given":"Mohammad S.","family":"Obaidat","sequence":"additional","affiliation":[{"name":"Life Fellow of IEEE, Fellow of AAIA and Fellow of SCS, Distinguished Professor at King Abdullah II School of Information Technology, University of Jordan, Amman 11942, Jordan; School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China; Amity University, Noida, UP201301, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6619-554X","authenticated-orcid":false,"given":"Xiong","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, University of Electronic Science and Technology of China, Sichuan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5451-8946","authenticated-orcid":false,"given":"Pandi","family":"Vijayakumar","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University College of Engineering Tindivanam, Tamil Nadu, India"}]}],"member":"320","published-online":{"date-parts":[[2023,4,5]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-803454-5.00001-8"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/UIC-ATC.2017.8397538"},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT50469.2020.9213516"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-CSS-ICESS.2015.43"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2968797"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2018.1700299"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25989-0_35"},{"issue":"1","key":"e_1_3_1_9_2","first-page":"129","article-title":"Termination of a class of nonlinear loop programs","volume":"14","author":"Li Jun","year":"2009","unstructured":"Jun Li, Yi Li, and Yong Feng.2009. Termination of a class of nonlinear loop programs. Journal of Sichuan University (Engineering Science Edition) 14, 1 (2009), 129\u2013133.","journal-title":"Journal of Sichuan University (Engineering Science Edition)"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75292-9_3"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2020.2993963"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.2984826"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.23919\/INM.2017.7987347"},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2020.2997280"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.3014440"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2017.2787750"},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2647740"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.26599\/TST.2020.9010046"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/MASS.2015.46"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2017.2702613"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2019.2903659"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.07.008"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2945333"},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/Eco-friendly.2014.49"},{"key":"e_1_3_1_25_2","first-page":"377","volume-title":"ACM Symposium on Applied Computing","author":"Andrade Ermeson","year":"2009","unstructured":"Ermeson Andrade, Paulo Maciel, Gustavo Callou, Bruno Nogueira, and Carlos Ara\u00fajo.2009. Mapping UML sequence diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints. In ACM Symposium on Applied Computing. 377\u2013381."},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/9.664151"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/s12204-019-2073-7"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-018-2884-6"},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2016.022"},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPHM.2016.7542823"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3064542"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/AIM43001.2020.9158795"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/MASS.2016.064"},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2017.2779511"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/MDM.2008.20"},{"key":"e_1_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/MDM.2017.59"}],"container-title":["ACM Transactions on Sensor Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546951","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3546951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:42Z","timestamp":1750186842000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546951"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,5]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,5,31]]}},"alternative-id":["10.1145\/3546951"],"URL":"https:\/\/doi.org\/10.1145\/3546951","relation":{},"ISSN":["1550-4859","1550-4867"],"issn-type":[{"type":"print","value":"1550-4859"},{"type":"electronic","value":"1550-4867"}],"subject":[],"published":{"date-parts":[[2023,4,5]]},"assertion":[{"value":"2021-11-29","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-06-30","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-04-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}