{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T14:26:07Z","timestamp":1725978367504},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319911915"},{"type":"electronic","value":"9783319911922"}],"license":[{"start":{"date-parts":[[2018,5,17]],"date-time":"2018-05-17T00:00:00Z","timestamp":1526515200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-91192-2_25","type":"book-chapter","created":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T13:45:41Z","timestamp":1526478341000},"page":"246-258","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B"],"prefix":"10.1007","author":[{"given":"Ammar Alhaj","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Jasek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Said","family":"Krayem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bronislav","family":"Chramcov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Zacek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"key":"25_CR1","unstructured":"http:\/\/searchcloudcomputing.techtarget.com\/definition\/cloud-computing . Tec Target, Accessed 26 Apr 2012"},{"key":"25_CR2","unstructured":"Amin, Z., Sethi, N., Singh, H.: Review on fault tolerance techniques in cloud computing (2015). http:\/\/research.ijcaonline.org\/volume116\/number18\/pxc3902768.pdf"},{"key":"25_CR3","unstructured":"Unsal, O.S., Koren, I., Mani Krishna, C.: Towards energy-aware software-based fault tolerance in real-time systems (2008). http:\/\/euler.ecs.umass.edu\/research\/ukk-islped-2002.pdf"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Malik, S., Huet, F.: Adaptive Fault Tolerance in Real Time Cloud Computing, Research Team OASIS INRIA - Sophia Antipolis 06902 Sophia Antipolis, France, IEEE World Congress on Services (2011)","DOI":"10.1109\/SERVICES.2011.108"},{"key":"25_CR5","unstructured":"Sudha Lakshmi, S.: Fault Tolerance in Cloud Computing (2013). http:\/\/ijesr.in\/wp-content\/uploads\/2013\/12\/ACICE-050.pdf"},{"key":"25_CR6","unstructured":"Kaur, P., Kaur, M.: Enhanced adaptive fault tolerance model for increasing reliability in cloud computing (2015). http:\/\/www.techrepublic.com\/resource-library\/whitepapers\/enhanced-adaptive-fault-tolerance-model-for-increasing-reliability-in-cloud-computing\/"},{"key":"25_CR7","unstructured":"http:\/\/tbu.ic-q8.net\/"},{"key":"25_CR8","unstructured":"Krayem, S.: Modern theory of information - Structured and knowledge based system design, Faculty of Applied Informatics, Tomas Bata University in Zl\u00edn, Czech republic (2016)"},{"key":"25_CR9","unstructured":"http:\/\/www.event-b.org\/"},{"key":"25_CR10","unstructured":"Damchoom, K., Butler, M., Abria, J.-R.: Modelling and Proof of a tree-structured file system in Event-B and Rodin (2008). http:\/\/www.ensiie.fr\/~dubois\/PR_2010\/TreeFileSysICFEM2008.pdf"}],"container-title":["Advances in Intelligent Systems and Computing","Cybernetics and Algorithms in Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91192-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T23:53:03Z","timestamp":1571356383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91192-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,17]]},"ISBN":["9783319911915","9783319911922"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91192-2_25","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018,5,17]]}}}