{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:01:58Z","timestamp":1725573718220},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/cnsm.2010.5691219","type":"proceedings-article","created":{"date-parts":[[2011,1,17]],"date-time":"2011-01-17T21:12:04Z","timestamp":1295298724000},"page":"314-317","source":"Crossref","is-referenced-by-count":1,"title":["Towards a validation framework for dynamic reconfiguration"],"prefix":"10.1109","author":[{"given":"Ludi","family":"Akue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Lavinal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michelle","family":"Sibilla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1658939.1658971"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2008.10.022"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DANCE.2002.1003489"},{"key":"ref5","article-title":"An approach to dynamic reconfiguration of distributed systems based on object-middleware","author":"paulo","year":"2001","journal-title":"Proceedings of the 19th Brazilian Symposium on Computer Networks (SBRC 2001)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2004.1317679"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/11839569_4","article-title":"Formal Modeling and Verification of Systems with Self-x Properties","author":"g\u00fcdemann","year":"2006","journal-title":"ATC'06 International Conference on Autonomic and Trusted Computing"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.12"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2009.090303"}],"event":{"name":"2010 International Conference on Network and Service Management (CNSM)","start":{"date-parts":[[2010,10,25]]},"location":"Niagara Falls, ON, Canada","end":{"date-parts":[[2010,10,29]]}},"container-title":["2010 International Conference on Network and Service Management"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5668576\/5691186\/05691219.pdf?arnumber=5691219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T18:30:13Z","timestamp":1497897013000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5691219\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/cnsm.2010.5691219","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}