{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:26Z","timestamp":1725562586691},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219989"},{"type":"electronic","value":"9783540247746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24774-6_6","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:26:22Z","timestamp":1281299182000},"page":"48-58","source":"Crossref","is-referenced-by-count":35,"title":["Correctness of Component-Based Adaptation"],"prefix":"10.1007","author":[{"given":"Sandeep S.","family":"Kulkarni","sequence":"first","affiliation":[]},{"given":"Karun N.","family":"Biyani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Chen, W.K., Hiltunen, M., Schlichting, R.: Constructing adaptive software in distributed systems. In: 21st International Conference on Distributed Computing Systems, April 2001, pp. 635\u2013643 (2001)","key":"6_CR1"},{"doi-asserted-by":"crossref","unstructured":"McKinley, P., Padmanabhan, U.: Design of composable proxy filters for mobile computing. In: Workshop on Wireless Networks and Mobile Computing (2001)","key":"6_CR2","DOI":"10.1109\/CDCS.2001.918750"},{"unstructured":"Hallstrom, J., Leal, W., Arora, A.: Scalable evolution of highly available systems. Transactions of the Institute for Electronics, Information and Communication Engineers (to appear)","key":"6_CR3"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-47993-7_9","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"B. Redmond","year":"2002","unstructured":"Redmond, B., Cahill, V.: Supporting unanticipated dynamic adaptation of application. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, p. 205. Springer, Heidelberg (2002)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S. Owicki","year":"1982","unstructured":"Owicki, S., Lamport, L.: Proving liveness properties of concurrent programs. ACM Transactions on Programming Languages and Systems\u00a04, 455\u2013495 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"Kulkarni, S.S., Biyani, K.N., Arumugam, U.: Composing distributed fault-tolerance components. In: Workshop on Principles of Dependable Systems, DSN (June 2003)","key":"6_CR6"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters\u00a021, 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/32.663998","volume":"24","author":"A. Arora","year":"1998","unstructured":"Arora, A., Kulkarni, S.S.: Component based design of multitolerant systems. IEEE transactions on Software Engineering\u00a024(1), 63\u201378 (1998)","journal-title":"IEEE transactions on Software Engineering"},{"unstructured":"Kulkarni, S., Biyani, K.: Correctness of dynamic adaptation. Technical report, Department of Computer Science, Michigan State University (January 2004)","key":"6_CR9"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1109\/32.92911","volume":"17","author":"M.G. Gouda","year":"1991","unstructured":"Gouda, M.G., Herman, T.: Adaptive programming. IEEE Transactions on Software Engineering\u00a017, 911\u2013921 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"Cheng, B., Yang, Z., Zhang, J.: Enabling safe dynamic adaptation. Technical report, Department of Computer Science, Michigan State University (May 2003)","key":"6_CR11"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24774-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:09:26Z","timestamp":1620011366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24774-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219989","9783540247746"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24774-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}