{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T13:04:36Z","timestamp":1695042276435},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,7,1]],"date-time":"2006-07-01T00:00:00Z","timestamp":1151712000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2006,7]]},"DOI":"10.1007\/s11334-006-0003-y","type":"journal-article","created":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T17:45:11Z","timestamp":1152553511000},"page":"99-111","source":"Crossref","is-referenced-by-count":13,"title":["MaTRICS: A service-based management tool for remote intelligent configuration of systems"],"prefix":"10.1007","volume":"2","author":[{"given":"Markus","family":"Bajohr","sequence":"first","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,7,11]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Bajohr M, Margaria T (2005) MaTRICS: a management tool for remote intelligent configuration of (Pervasive) systems. In: Proceedings of ICPS 2005, IEEE International Confer-ence on pervasive services, Santorini, IEEE Computer Society Press, pp 457\u2013460","DOI":"10.1109\/PERSER.2005.1506567"},{"key":"3_CR2","unstructured":"Eclipse Foundation: http:\/\/www.eclipse.org\/"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Garrahan J, Russo P, Kitami K, Kung R (1993) Intelligent Network Overview. IEEE Commun Mag 30\u201337","DOI":"10.1109\/35.199607"},{"key":"3_CR4","unstructured":"Hagerer A, Margaria T, Niese O, Steffen B, Brune G, Ide H-D (2001) An efficient regression testing of CTI systems: testing a complex call-center solution. Annual Review of Communications, Vol. 55. Int. Engin. Consortium, Chicago"},{"key":"3_CR5","unstructured":"ITU (1993) General recommendations on telephone switching and signaling intelligent network: Introduction to intelligent network capability set 1. Recommendation Q.1211, Telecommunication Standardization Sector of ITU, Geneva"},{"key":"3_CR6","unstructured":"ITU-T (1992) Recommendation Q.1203. \u201cIntelligent Network \u2013 Global Functional Plane Architecture\u201d"},{"key":"3_CR7","unstructured":"ITU-T (1997) Recommendation Q.1204. \u201cDistributed Functional Plane for Intelligent Network Capability Set 2: parts 1\u20134\u201d"},{"key":"3_CR8","unstructured":"Lindner B, Margaria T, Steffen B (2001) Ein personalisierter Internetdienst fr wissenschaftliche Begutachtungsprozesse. GI-VOI-BITKOM-OCG-TeleTrusT Konferenz Elektronische Gesch\u00e4fts-prozesse (eBusiness Processes), Universit\u00e4t Klagenfurt. http:\/\/syssec.uni-klu.ac.at\/EBP2001\/"},{"key":"3_CR9","first-page":"154","volume-title":"Components, features, and agents in the ABC, invited contribution to the volume Components, features, and agents","author":"T Margaria","year":"2004","unstructured":"Margaria T (2004) Components, features, and agents in the ABC, invited contribution to the volume Components, features, and agents, LNCS 2975, Springer, Berlin Heidelberg New York, pp 154\u2013174"},{"key":"3_CR10","unstructured":"Margaria T, Karusseit M (2002) Community usage of the Online Conference service: an experience report from three CS conferences, 2nd IFIP Conference on \u201ce-commerce, e-business, e-government\u201d (I3E 2002), Lisboa (P), in Towards the Knowledge Society, Kluwer, Dordrecht, pp. 497\u2013511"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Margaria T, Nagel R, Steffen B (2005) Remote integration and coordination of verification tools in jETI. In Proceedings of ECBS 2005, 12th annual IEEE International Conference and workshop on the engineering of computer based systems. IEEE Press, Washington DC, 4\u20137","DOI":"10.1109\/ECBS.2005.59"},{"key":"3_CR12","unstructured":"Margaria T, Steffen B (2004) Lightweight coarse-grained coordination: a scalable system-level approach, in STTT, special section on formal methods in industrial critical systems, of the International journal on software tools for technology transfer. Springer, Berlin Heidelberg New York 5(2\u20133):107\u2013123"},{"key":"3_CR13","unstructured":"Margaria T, Steffen B (2003) Aggressive model-driven development: synthesizing systems from models viewed as constraints (invited position paper) Monterey\u201903 Workshop on \u201cSoftware engineering for embedded systems: from requirements to implementation\u201d, Chicago"},{"key":"3_CR14","unstructured":"Margaria T, Steffen B, Reitenspie\u00df M (2005) In: Service-Oriented Design: the Roots, ICSOC 2005: 3rd ACM SIG-SOFT\/SIGWEB International Conference on service-oriented computing, Amsterdam, LNCS 3826. Springer, Berlin Heidelberg New York, pp 450\u2013464"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm M, Yoo H (2004) MetaGame: an animation tool for model-checking games. In: Proceedings of TACAS 2004, LNCS 2988. Springer, Berlin Heidelberg New York, pp 163\u2013167","DOI":"10.1007\/978-3-540-24730-2_14"},{"key":"3_CR16","unstructured":"Nagios: www.nagios.org"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Steffen B, Margaria T (1999) METAFrame in practice: intelligent network service design. In: Correct system design \u2013 issues, methods and perspectives, LNCS 1710. Springer Berlin Heidelberg New York, pp 390\u2013415","DOI":"10.1007\/3-540-48092-7_17"},{"key":"3_CR18","unstructured":"Steffen B, Margaria T, Braun V, Kalt N (1997) Hierarchical service definition, Annual Review of Communication. Int. Eng. Consortium (IEC), pp 847\u2013856"},{"key":"3_CR19","unstructured":"Webmin: www.webmin.com"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-006-0003-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-006-0003-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-006-0003-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T13:47:43Z","timestamp":1559396863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-006-0003-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["3"],"URL":"https:\/\/doi.org\/10.1007\/s11334-006-0003-y","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7]]}}}