{"id":"https://openalex.org/W4415221880","doi":"https://doi.org/10.1007/s10791-025-09748-2","title":"Formal modelling and verification of effective probabilistic neural networks for load balancing in a cloud environment","display_name":"Formal modelling and verification of effective probabilistic neural networks for load balancing in a cloud environment","publication_year":2025,"publication_date":"2025-10-15","ids":{"openalex":"https://openalex.org/W4415221880","doi":"https://doi.org/10.1007/s10791-025-09748-2"},"language":"en","primary_location":{"id":"doi:10.1007/s10791-025-09748-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10791-025-09748-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10791-025-09748-2.pdf","source":{"id":"https://openalex.org/S5407036663","display_name":"Discover Computing","issn_l":"2948-2992","issn":["2948-2992"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discover Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://link.springer.com/content/pdf/10.1007/s10791-025-09748-2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025920124","display_name":"Shantanu Shukla","orcid":null},"institutions":[{"id":"https://openalex.org/I129862065","display_name":"Government Medical College","ror":"https://ror.org/007fenw03","country_code":"IN","type":"education","lineage":["https://openalex.org/I129862065"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Shantanu Shukla","raw_affiliation_strings":["Department of Information Technology, Rajkiya Engineering College, Affiliated to AKTU, Banda, U.P, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Rajkiya Engineering College, Affiliated to AKTU, Banda, U.P, India","institution_ids":["https://openalex.org/I129862065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083644248","display_name":"Vibhash Yadav","orcid":null},"institutions":[{"id":"https://openalex.org/I129862065","display_name":"Government Medical College","ror":"https://ror.org/007fenw03","country_code":"IN","type":"education","lineage":["https://openalex.org/I129862065"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Vibhash Yadav","raw_affiliation_strings":["Department of Information Technology, Rajkiya Engineering College, Affiliated to AKTU, Banda, U.P, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Rajkiya Engineering College, Affiliated to AKTU, Banda, U.P, India","institution_ids":["https://openalex.org/I129862065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5025920124"],"corresponding_institution_ids":["https://openalex.org/I129862065"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.30637244,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"28","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T14470","display_name":"Advanced Data Processing Techniques","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9848999977111816,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/load-balancing","display_name":"Load balancing (electrical power)","score":0.8123999834060669},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.6574000120162964},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6370000243186951},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5914999842643738},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.5375000238418579},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5170999765396118},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4440999925136566},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.35839998722076416}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8668000102043152},{"id":"https://openalex.org/C138959212","wikidata":"https://www.wikidata.org/wiki/Q1806783","display_name":"Load balancing (electrical power)","level":3,"score":0.8123999834060669},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6686000227928162},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.6574000120162964},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6370000243186951},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5914999842643738},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.5375000238418579},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5170999765396118},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4440999925136566},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.35839998722076416},{"id":"https://openalex.org/C161597957","wikidata":"https://www.wikidata.org/wiki/Q16251507","display_name":"Network Load Balancing Services","level":3,"score":0.3434999883174896},{"id":"https://openalex.org/C2779370713","wikidata":"https://www.wikidata.org/wiki/Q357554","display_name":"Load management","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.3010999858379364},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.2858000099658966},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.2840000092983246},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.28200000524520874},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.27219998836517334},{"id":"https://openalex.org/C73555534","wikidata":"https://www.wikidata.org/wiki/Q622825","display_name":"Cluster analysis","level":2,"score":0.2709999978542328},{"id":"https://openalex.org/C19012869","wikidata":"https://www.wikidata.org/wiki/Q578372","display_name":"Response time","level":2,"score":0.2556999921798706},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10791-025-09748-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10791-025-09748-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10791-025-09748-2.pdf","source":{"id":"https://openalex.org/S5407036663","display_name":"Discover Computing","issn_l":"2948-2992","issn":["2948-2992"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discover Computing","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:9e86840cd1be47f19db42a731fd275a8","is_oa":true,"landing_page_url":"https://doaj.org/article/9e86840cd1be47f19db42a731fd275a8","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Discover Computing, Vol 28, Iss 1, Pp 1-29 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s10791-025-09748-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10791-025-09748-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10791-025-09748-2.pdf","source":{"id":"https://openalex.org/S5407036663","display_name":"Discover Computing","issn_l":"2948-2992","issn":["2948-2992"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discover Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4415221880.pdf"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W395648043","https://openalex.org/W1598636284","https://openalex.org/W1964168965","https://openalex.org/W1971173101","https://openalex.org/W1971486022","https://openalex.org/W2119694598","https://openalex.org/W2139093174","https://openalex.org/W2143585477","https://openalex.org/W2147148915","https://openalex.org/W2320908390","https://openalex.org/W2789760794","https://openalex.org/W2796976631","https://openalex.org/W2900251987","https://openalex.org/W2914288193","https://openalex.org/W2963379984","https://openalex.org/W2980000166","https://openalex.org/W3010045285","https://openalex.org/W3011359700","https://openalex.org/W3016075298","https://openalex.org/W3039054640","https://openalex.org/W3081541271","https://openalex.org/W3156959230","https://openalex.org/W3200617710","https://openalex.org/W3206812435","https://openalex.org/W3210348578","https://openalex.org/W4200315631","https://openalex.org/W4200401030","https://openalex.org/W4206428338","https://openalex.org/W4207012525","https://openalex.org/W4255012706","https://openalex.org/W4283723416","https://openalex.org/W4293192705","https://openalex.org/W4385552769","https://openalex.org/W4392503870"],"related_works":[],"abstract_inverted_index":{"Load":[0],"balancing":[1,52,141],"plays":[2],"a":[3,89,99],"crucial":[4],"role":[5],"in":[6,142],"distributed":[7],"and":[8,24,33,39,65,98,131],"cloud":[9],"computing":[10],"by":[11,36],"evenly":[12],"distributing":[13],"workloads":[14],"across":[15],"multiple":[16],"servers":[17],"or":[18,44,108],"network":[19,144],"resources,":[20],"ensuring":[21,123],"optimal":[22,106],"performance":[23],"resource":[25,153],"utilization.":[26],"It":[27],"improves":[28],"system":[29],"reliability,":[30],"fault":[31],"tolerance,":[32],"response":[34],"time":[35],"preventing":[37],"overloading":[38],"rerouting":[40],"tasks":[41],"from":[42],"failed":[43],"underperforming":[45],"resources.":[46],"This":[47,135],"paper":[48],"explores":[49],"advanced":[50],"load":[51,83,140],"techniques,":[53],"focusing":[54],"on":[55],"machine":[56],"learning":[57],"integration":[58],"for":[59,82,95,104,151],"better":[60],"handling":[61],"of":[62,126],"imbalanced":[63],"data":[64],"task":[66,96],"distribution.":[67,84],"We":[68],"introduce":[69],"an":[70],"Effective":[71],"Probabilistic":[72],"Neural":[73],"Network":[74],"(EPNN)":[75],"model":[76],"that":[77],"selects":[78],"the":[79,120,124,127,147],"best":[80],"cluster":[81],"Complementing":[85],"this,":[86],"we":[87],"propose":[88],"Round":[90],"Robin":[91],"Assigning":[92],"Algorithm":[93,102],"(RRAA)":[94],"allocation":[97],"Data":[100],"Discovery":[101],"(DDA)":[103],"identifying":[105],"nodes":[107],"clusters.":[109],"The":[110],"EPNN":[111],"model\u2019s":[112],"accuracy":[113],"is":[114],"verified":[115],"through":[116],"formal":[117],"modeling":[118],"using":[119],"Event-B":[121],"tool,":[122],"correctness":[125],"algorithm":[128,150],"via":[129],"automated":[130],"manual":[132],"proof":[133],"generation.":[134],"research":[136],"aims":[137],"to":[138],"optimize":[139],"neural":[143],"environments,":[145],"offering":[146],"highest":[148],"probability":[149],"efficient":[152],"management.":[154]},"counts_by_year":[],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-16T00:00:00"}