{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:03:07Z","timestamp":1729641787260,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/iisa.2017.8316416","type":"proceedings-article","created":{"date-parts":[[2018,3,15]],"date-time":"2018-03-15T16:46:49Z","timestamp":1521132409000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Adopting formal approaches for monitoring and adaptation for large-scale distributed systems"],"prefix":"10.1109","author":[{"given":"Sorana Tania","family":"Nemes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreea","family":"Buga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"9","article-title":"Specification and validation methods","author":"gurevich","year":"1995","journal-title":"chapter Evolving Algebras 1993 Lipari Guide"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2009.5394133"},{"journal-title":"Lean Enterprise Value Insights from MIT's Lean Aerospace Initiative","year":"2016","author":"murman","key":"ref12"},{"key":"ref13","first-page":"257","article-title":"Towards a case-based reasoning approach to dynamic adaptation for large-scale distributed systems","author":"tania nemes","year":"2017","journal-title":"editors Case-Based Reasoning Research and Development–25th International Conference ICCBR 2017 Trondheim Norway June 26–28 2017 Proceedings"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1023\/A:1024011025052","article-title":"Characterizing grids: Attributes, definitions, and formalisms","volume":"1","author":"n\u00e9meth","year":"2003","journal-title":"Journal of Grid Computing"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22760-8_1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2009.5429058"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1496091.1496100"},{"journal-title":"Above the clouds A berkeley view of cloud computing Technical Report UCB\/EECS–2009–28","year":"2009","author":"michael","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.10"},{"key":"ref6","first-page":"295","article-title":"An ASM-based model for grid job management","volume":"37","author":"bianchi","year":"2013","journal-title":"Informatica (Slovenia)"},{"key":"ref5","first-page":"1","article-title":"The evolution of CloudML and its manifestations","author":"bergmayr","year":"2015","journal-title":"Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud (CloudMDE)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17112-8_4"},{"journal-title":"Abstract State Machines A Method for High-Level System Design and Analysis","year":"2003","author":"borger","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/9789812389718_0023"},{"key":"ref1","article-title":"A distributed Abstract State Machine for grid systems: A preliminary study","author":"pizzutilo","year":"2011","journal-title":"Proceedings of the Second International Conference on Parallel Distributed Grid and Cloud Computing for Engineering"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2013.133"}],"event":{"name":"2017 8th International Conference on Information, Intelligence, Systems & Applications (IISA)","start":{"date-parts":[[2017,8,27]]},"location":"Larnaca","end":{"date-parts":[[2017,8,30]]}},"container-title":["2017 8th International Conference on Information, Intelligence, Systems & Applications (IISA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8308011\/8316350\/08316416.pdf?arnumber=8316416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,12]],"date-time":"2019-10-12T19:58:21Z","timestamp":1570910301000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8316416\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iisa.2017.8316416","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}