{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:06:56Z","timestamp":1730221616771,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,22]],"date-time":"2023-09-22T00:00:00Z","timestamp":1695340800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,22]],"date-time":"2023-09-22T00:00:00Z","timestamp":1695340800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,22]]},"DOI":"10.1109\/ewdts59469.2023.10297035","type":"proceedings-article","created":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T17:46:54Z","timestamp":1698947214000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Model of Verification of Distributed Storage Systems"],"prefix":"10.1109","author":[{"given":"Oleksandr","family":"Martynyuk","sequence":"first","affiliation":[{"name":"National University “Odesskaya Polytechnika”,Department of Computer Intellectual Systems and Networks,Odessa,Ukraine"}]},{"given":"Oleksandr","family":"Drozd","sequence":"additional","affiliation":[{"name":"National University “Odesskaya Polytechnika”,Department of Computer Intellectual Systems and Networks,Odessa,Ukraine"}]},{"given":"Lyudmila","family":"Sugak","sequence":"additional","affiliation":[{"name":"National University “Odesskaya Polytechnika”,Educational and Methodological Department,Odessa,Ukraine"}]},{"given":"Sergiy","family":"Kravtsov","sequence":"additional","affiliation":[{"name":"National University “Odesskaya Polytechnika”,Department of Computer Intellectual Systems and Networks,Odessa,Ukraine"}]},{"given":"Dmitry","family":"Martynyuk","sequence":"additional","affiliation":[{"name":"National University “Odesskaya Polytechnika”,Department of Computer Intellectual Systems and Networks,Odessa,Ukraine"}]},{"given":"Igor","family":"Kovalev","sequence":"additional","affiliation":[{"name":"National University “Odesskaya Polytechnika”,Department of Computer Intellectual Systems and Networks,Odessa,Ukraine"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/num.22533"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1201\/9780203738535-2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9531.2009.01215.x"},{"key":"ref14","first-page":"1","article-title":"Multiple linear regression","volume":"5 5","author":"tranmer","year":"2008","journal-title":"The Cathie Marsh Centre for Census and Survey Research (CCSR)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS52692.2021.9581025"},{"key":"ref30","first-page":"110","article-title":"Behavioral Agent Testing of Distributed Information Systems","author":"martynyuk","year":"2020","journal-title":"Proceedings of the 2nd International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2020)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1080\/07421222.2004.11045815"},{"key":"ref10","first-page":"5947","article-title":"A statistical comparison of logistic regression and different Bayes classification methods for machine learning","volume":"10 14","author":"gladence","year":"2015","journal-title":"ARPN Journal of Engineering and Applied Sciences"},{"key":"ref32","first-page":"39","article-title":"Accelerating the machine learning lifecycle with MLflow","volume":"41","author":"zaharia","year":"2018","journal-title":"IEEE Data Eng Bull"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.13140\/RG.2.2.26934.75848"},{"key":"ref1","first-page":"674","volume":"xvii","author":"\u00f6zsu","year":"2020","journal-title":"Principles of Distributed Database Systems 2nd Edition"},{"key":"ref17","first-page":"10401","article-title":"On disentangled representations learned from correlated data","author":"tr\u00e4uble","year":"2021","journal-title":"International Conference on Machine Learning"},{"key":"ref16","first-page":"25235","article-title":"Binary logistic regression analysis","volume":"8 1","author":"tukur","year":"2016","journal-title":"Journal of Current Research"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00180-022-01207-6"},{"key":"ref18","first-page":"2","article-title":"The use of dummy variables in regression analysis","author":"skrivanek","year":"2009","journal-title":"More Steam LLC"},{"key":"ref24","first-page":"1624","article-title":"Process Algebras","author":"de nicola","year":"2011","journal-title":"Encyclopedia of Parallel Computing"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-010-0058-z"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-39940-9_817"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_10"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/0962280218784726"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-2537-7_5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s13222-022-00426-x"},{"key":"ref28","first-page":"436","author":"kr\u00f6ger","year":"2008","journal-title":"Temporal Logic and State Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768816040022"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3390\/app11125731"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC.2017.7983210"},{"key":"ref9","first-page":"665","author":"proctor","year":"2018","journal-title":"Human Factors in Simple and Complex Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3390\/app11188540"},{"key":"ref3","first-page":"426","author":"vikhyat","year":"2017","journal-title":"Ceph cookbook practical recipes to design implement operate and manage Ceph storage systems"},{"key":"ref6","first-page":"135","article-title":"CEPH filesystem in the eneagrid infrastructure","author":"puccini","year":"2021","journal-title":"High Performance Computing on CRESCO Infrastructure research activity and results 2020"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-014-0399-4"}],"event":{"name":"2023 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2023,9,22]]},"location":"Batumi, Georgia","end":{"date-parts":[[2023,9,25]]}},"container-title":["2023 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10296971\/10297023\/10297035.pdf?arnumber=10297035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T19:30:10Z","timestamp":1701113410000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10297035\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,22]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/ewdts59469.2023.10297035","relation":{},"subject":[],"published":{"date-parts":[[2023,9,22]]}}}