{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:27:24Z","timestamp":1730276844040,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/istel.2018.8661088","type":"proceedings-article","created":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T18:58:46Z","timestamp":1551985126000},"page":"664-669","source":"Crossref","is-referenced-by-count":10,"title":["A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation Analyses"],"prefix":"10.1109","author":[{"given":"Fatemeh","family":"Ebadifard","sequence":"first","affiliation":[]},{"given":"Saeed","family":"Doostali","sequence":"additional","affiliation":[]},{"given":"Seyed Morteza","family":"Babamir","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"61","article-title":"Asmetasmv: A way to link high-level ASM models to low-level nusmv specifications","author":"arcaini","year":"2010","journal-title":"Abstract State Machines Alloy B and Z 2nd Int Conference ABZ 2010 Proceedings"},{"journal-title":"Nature-Inspired Metaheuristic Algorithms","year":"2010","author":"yang","key":"ref3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/spe.995"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICWR.2018.8387254"},{"key":"ref11","first-page":"337","article-title":"Job characteristics of a production parallel scientific workload on the NASA Ames iPSC\/860","author":"feitelson","year":"1995"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2012.05.002"},{"key":"ref8","first-page":"2303","article-title":"Honey bee behavior inspired load balancing of tasks in cloud computing environments","volume":"13","author":"babu","year":"2013","journal-title":"Appl Soft Comput"},{"key":"ref7","first-page":"953","article-title":"Task Scheduling Policy Based on Ant Colony Optimization in Cloud Computing Environment","author":"wang","year":"2013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.4368"},{"key":"ref9","first-page":"37","article-title":"Task scheduling using modified PSO algorithm in cloud computing environment","author":"abdi","year":"2014","journal-title":"International Conference on Machine Learning Electrical and Mechanical Engineering"},{"key":"ref1","first-page":"2017","article-title":"Dynamic task scheduling in cloud computing based on naïve bayesian classifier","volume":"1852","author":"ebadifard","year":"2017","journal-title":"International Conference for Young Researchers in Informatics Mathematics and Engineering Kaunas"}],"event":{"name":"2018 9th International Symposium on Telecommunications (IST)","start":{"date-parts":[[2018,12,17]]},"location":"Tehran, Iran","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 9th International Symposium on Telecommunications (IST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8653247\/8660802\/08661088.pdf?arnumber=8661088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T21:49:46Z","timestamp":1643233786000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8661088\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/istel.2018.8661088","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}