{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:34:51Z","timestamp":1729611291848,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/perser.2005.1506567","type":"proceedings-article","created":{"date-parts":[[2005,9,12]],"date-time":"2005-09-12T15:19:24Z","timestamp":1126538364000},"page":"457-460","source":"Crossref","is-referenced-by-count":2,"title":["MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Bajohr","sequence":"first","affiliation":[]},{"given":"T.","family":"Margaria","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"13"},{"key":"11","first-page":"390","article-title":"METAFrame in practice: Intelligent network service design","volume":"1710","author":"steffen","year":"1999","journal-title":"LNCS"},{"key":"12","first-page":"847","article-title":"Hierarchical service definition","author":"steffen","year":"1997","journal-title":"Annual Review Commun"},{"key":"3","first-page":"154","article-title":"Components, features, and agents in the ABC","volume":"2975","author":"margaria","year":"2004","journal-title":"LNCS"},{"key":"2","article-title":"An efficient regression testing of CTI systems: Testing a complex call-center solution","volume":"55","author":"hagerer","year":"2001","journal-title":"Annual Review Commun"},{"year":"0","key":"1"},{"year":"0","key":"10"},{"key":"7","article-title":"Aggressive model-driven development: Synthesizing systems from models viewed as constraints","author":"margaria","year":"2003","journal-title":"Monterey'03 Worksh on \"Software Engineering for Embedded Systems From Requirements to Implementation\""},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1007\/s10009-003-0119-4"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-31980-1_38","article-title":"JETI; A tool for remote tool integration (tool demonstration)","author":"margaria","year":"2005","journal-title":"Proc TACAS'05 Int Conf on Tools and Algorithms for the Construction and Analysis of Systems"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/ECBS.2005.59"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1007\/978-3-540-24730-2_14"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/SEW.2005.40"}],"event":{"name":"ICPS '05. International Conference on Pervasive Services, 2005.","location":"Santorini, Greece"},"container-title":["ICPS '05. Proceedings. International Conference on Pervasive Services, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10064\/32279\/01506567.pdf?arnumber=1506567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T23:18:36Z","timestamp":1497655116000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1506567\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/perser.2005.1506567","relation":{},"subject":[]}}