{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:00:32Z","timestamp":1729630832940,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/aiccsa.2009.5069360","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T10:54:09Z","timestamp":1244631249000},"page":"428-435","source":"Crossref","is-referenced-by-count":3,"title":["Quantity of resource properties expression and runtime assurance for embedded systems"],"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":[{"journal-title":"Qinna Une Architecture a? Base de Composants Pour la Gestion de la Qualite? de Service Dans les Syste?mes embarque?s Mobiles","year":"2005","author":"tournier","key":"13"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/11424529_8","article-title":"qinna, a component-based qos architecture","author":"tournier","year":"2005","journal-title":"Component-Based Software Engineering 8th International Symposium"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/352183.352202"},{"key":"12","article-title":"model-based testing and monitoring for hybrid embedded systems","author":"tan","year":"2004","journal-title":"Proceedings of IEEE International Conference on Information Reuse and Integration (IRI'04)"},{"key":"3","article-title":"think: a software framework for component-based operating system kernels","author":"fassino","year":"2002","journal-title":"Proceedings of USENIX Annual Technical Conference"},{"key":"2","article-title":"recursive and dynamic software composition with sharing","author":"bruneton","year":"2002","journal-title":"Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming (WCOP'02)"},{"key":"1","article-title":"performance prediction of component-based systems: a survey from an engineering perspective","volume":"3938","author":"becker","year":"2006","journal-title":"LNCS"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2004.1333355"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/IMCSIT.2008.4747307"},{"key":"6","article-title":"resource management with qinna framework : the remote viewer case study","author":"gonnord","year":"2008","journal-title":"Research Report"},{"key":"5","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)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/IWQOS.1999.766475"},{"key":"9","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)"},{"key":"8","article-title":"using controller synthesis to build property-enforcing layers","author":"altisen","year":"2003","journal-title":"European Symposium on Programming (ESOP)"}],"event":{"name":"2009 IEEE\/ACS International Conference on Computer Systems and Applications","start":{"date-parts":[[2009,5,10]]},"location":"Rabat, Morocco","end":{"date-parts":[[2009,5,13]]}},"container-title":["2009 IEEE\/ACS International Conference on Computer Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5010318\/5069284\/05069360.pdf?arnumber=5069360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T16:53:23Z","timestamp":1497804803000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5069360\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2009.5069360","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}