{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:58:31Z","timestamp":1729630711618,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/ices.2013.6613283","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T22:32:25Z","timestamp":1380753145000},"page":"59-65","source":"Crossref","is-referenced-by-count":1,"title":["On the implications of plug-and-learn adaptive hardware components toward a cyberphysical systems perspective on evolvable and adaptive hardware"],"prefix":"10.1109","author":[{"given":"John C.","family":"Gallagher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric T.","family":"Matson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Garrison W.","family":"Greenwood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"262","article-title":"The architecture and functionality of ontological semantics","author":"petrenko","year":"2010","journal-title":"Proceedings of the 29th International Conference on Lexis and Grammar"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/KIMAS.2005.1427086"},{"key":"18","article-title":"Evaluation of properties in the transition of capability-based agent organizations","volume":"7","author":"matson","year":"2009","journal-title":"Web Intelligence and Agent Systems (WIAS)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2005.24"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-007-9019-4"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TAES.2004.1292156"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2006.104"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"12","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","article-title":"Specification and verification of concurrent systems in CESAR","volume":"137","author":"queille","year":"1982","journal-title":"InLecture Notes in Computer Science-International Symposium on Programming"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/WI-IAT.2011.146"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICARA.2011.6144906"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.12"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503503"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/32.708566"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/KIMAS.2005.1427086"},{"key":"27","article-title":"Evaluation of properties in the transition of capability-based agent organizations","volume":"7","author":"matson","year":"2009","journal-title":"Web Intelligence and Agent Systems (WIAS) Journal"},{"key":"28","article-title":"The technology of the gaps: An evolvable hardware synthesized oscillator for the control of a flapping-wing micro air vehicle","author":"gallagher","year":"0","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2011.6190278"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1090.001.0001","author":"holland","year":"1992","journal-title":"Adaptation in Natural and Artifical Systems"},{"journal-title":"Itroduction to Evolvable Hardware A Practical Guide for Designing Self-Adaptive Systems","year":"2005","author":"greenwood","key":"2"},{"key":"10","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching-time temporal logic","author":"clarke","year":"1981","journal-title":"Logic of Programs"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2167449"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2008.916997"},{"key":"7","article-title":"Hierarchical decompositon considered inconvenient: Selfadaptation across abstraction layers","author":"gallagher","year":"2012","journal-title":"Proc SPIE 8402 Evolutionary and Bio-Inspired Computation Theory and Applications VI 840202 Doi 10 1117\/12 922786"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1162\/EVCO_a_00005"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-012-1277-1"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/4235.585888"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.2514\/1.47146"},{"journal-title":"System Identification Through Simulated Evolution A Machine Learning Approach to Modeling","year":"1999","author":"fogel","key":"4"},{"key":"9","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-10003-2_69","article-title":"Characterizing correctness properties of parallel programs using fixpoints","author":"emerson","year":"1980","journal-title":"Automata Languages and Programming"},{"journal-title":"An Introduction to Multiagent Systems","year":"2009","author":"wooldridge","key":"8"}],"event":{"name":"2013 IEEE International Conference on Evolvable Systems (ICES)","start":{"date-parts":[[2013,4,16]]},"location":"Singapore, Singapore","end":{"date-parts":[[2013,4,19]]}},"container-title":["2013 IEEE International Conference on Evolvable Systems (ICES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596005\/6613273\/06613283.pdf?arnumber=6613283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T16:14:24Z","timestamp":1564330464000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6613283\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/ices.2013.6613283","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}