{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:35:29Z","timestamp":1725482129160},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/imcsit.2008.4747307","type":"proceedings-article","created":{"date-parts":[[2009,1,16]],"date-time":"2009-01-16T15:30:21Z","timestamp":1232119821000},"page":"617-624","source":"Crossref","is-referenced-by-count":1,"title":["Runtime resource assurance and adaptation with Qinna framework: A case study"],"prefix":"10.1109","author":[{"given":"Laure","family":"Gonnord","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Babau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"towards a dynamic management of qos constraints in embedded systems","author":"tournier","year":"2003","journal-title":"Workshop QoSCBSE in Conjunction with ADA'03"},{"year":"2005","author":"tournier","journal-title":"Qinna Une Architecture a? Base de Composants Pour la Gestion de la Qualite? de Service Dans les Syste?mes embarque?s Mobiles","key":"2"},{"key":"10","article-title":"using controller synthesis to build property-enforcing layers","author":"altisen","year":"2003","journal-title":"European Symposium on Programming (ESOP)"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1145\/352183.352202"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/EURMIC.2004.1333355"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1016\/j.entcs.2006.02.032"},{"key":"5","article-title":"runtime assurance based on formal specifications","author":"lee","year":"1999","journal-title":"Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (IPDPS'99)"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1145\/1101908.1101975"},{"year":"1998","journal-title":"HPL-98-110 Tech Rep","article-title":"qml: a language for quality of service specification","key":"9"},{"key":"8","article-title":"quality of services specification in distributed object systems design","author":"fr\ufffdlund","year":"1998","journal-title":"Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems (COOTS)"}],"event":{"name":"2008 International Multiconference on Computer Science and Information Technology (IMCSIT)","start":{"date-parts":[[2008,10,20]]},"location":"Wisla, Poland","end":{"date-parts":[[2008,10,22]]}},"container-title":["2008 International Multiconference on Computer Science and Information Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4731350\/4747203\/04747307.pdf?arnumber=4747307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T15:41:00Z","timestamp":1489765260000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4747307\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/imcsit.2008.4747307","relation":{},"ISSN":["1896-7094"],"issn-type":[{"type":"print","value":"1896-7094"}],"subject":[],"published":{"date-parts":[[2008,10]]}}}