{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:25:52Z","timestamp":1742934352888,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540692652"},{"type":"electronic","value":"9783540692669"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11964995_23","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T12:06:36Z","timestamp":1165838796000},"page":"257-268","source":"Crossref","is-referenced-by-count":3,"title":["Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","first-page":"196","volume-title":"Proc. 8th Symp. on Access Control Models and Technologies, Como (I)","author":"T. Ahmed","year":"2003","unstructured":"Ahmed, T., Tripathi, A.: Static Verification of Security Requirements in Role Based CSCW Systems. In: Proc. 8th Symp. on Access Control Models and Technologies, Como (I), pp. 196\u2013203. ACM Press, New York (2003)"},{"key":"23_CR2","volume-title":"Proc. ICPS 2005, IEEE Int. Conference on Pervasive Services","author":"M. Bajohr","year":"2005","unstructured":"Bajohr, M., Margaria, T.: MaTRICS: A Management Tool for Remote Intelligent Configuration of (Pervasive) Systems. In: Proc. ICPS 2005, IEEE Int. Conference on Pervasive Services, Santorini, Greece, July 11-14, 2005. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"23_CR3","volume-title":"Proc. 3rd Int. Worksh. on Agent Theories, Architectures, and Languages","author":"S. Franklin","year":"1996","unstructured":"Franklin, S., Graesser, A.: Is it an Agent, or just a Program?: A Taxonomy for Autonomous Agents. In: Proc. 3rd Int. Worksh. on Agent Theories, Architectures, and Languages. Springer, Heidelberg (1996), \n                  \n                    http:\/\/www.msci.memphis.edu\/~franklin\/AgentProg.html"},{"key":"23_CR4","unstructured":"ITU: 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 (March1993)"},{"key":"23_CR5","unstructured":"ITU-T: Recommendation Q.1203. Intelligent Network - Global Functional Plane Architecture (October 1992)"},{"key":"#cr-split#-23_CR6.1","unstructured":"Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online- Reconfigurable Decision Support Service. In: WWV 2005 1st Int???l Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15 (2005);"},{"key":"#cr-split#-23_CR6.2","unstructured":"Post Workshop Proc. appear in ENTCS"},{"key":"23_CR7","unstructured":"Lindner, B., Margaria, T., Steffen, B.: Ein personalisierter Internetdienst fr wissenschaftliche Begutachtungsprozesse, GI-VOI-BITKOM-OCG-TeleTrusT Konferenz Elektronische Gesch\u00e4fts-prozesse (eBusiness Processes), September 2001. Universit\u00e4t Klagenfurt (2001), \n                  \n                    http:\/\/syssec.uni-klu.ac.at\/EBP2001\/"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-25930-5_10","volume-title":"Objects, Agents, and Features","author":"T. Margaria","year":"2004","unstructured":"Margaria, T.: Components, Features, and Agents in the ABC. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol.\u00a02975, pp. 154\u2013174. Springer, Heidelberg (2004)"},{"key":"23_CR9","series-title":"Towards the Knowledge Society","first-page":"497","volume-title":"Community Usage of the Online Conference Service: an Experience Report from three CS Conferences, 2nd IFIP Conf. on e-commerce, ebusiness, e-government (I3E 2002)","author":"T. Margaria","year":"2002","unstructured":"Margaria, T., Karusseit, M.: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences, 2nd IFIP Conf. on e-commerce, ebusiness, e-government (I3E 2002), Lisboa (P), October 2002. Towards the Knowledge Society, pp. 497\u2013511. Kluwer, Dordrecht (2002)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Margaria, T., Nagel, R., Steffen, B.: Remote Integration and Coordination of Verification Tools in jETI. In: Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, Greenbelt, USA (April 2005)","DOI":"10.1109\/ECBS.2005.59"},{"issue":"2-3","key":"23_CR11","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10009-003-0119-4","volume":"5","author":"T. Margaria","year":"2004","unstructured":"Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach, in STTT. Special Section on Formal Methods in Industrial Critical Systems of the Int. Journal on Software Tools for Technology Transfer\u00a05(2-3), 107\u2013123 (2004)","journal-title":"Special Section on Formal Methods in Industrial Critical Systems of the Int. Journal on Software Tools for Technology Transfer"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1007\/3-540-48294-6_22","volume-title":"Proc. SAS 1999","author":"M. M\u00fcller-Olm","year":"1999","unstructured":"M\u00fcller-Olm, M., Schmidt, D., Steffen, B.: Model-Checking: A Tutorial Introduction. In: SAS 1998. LNCS, vol.\u00a01503, pp. 330\u2013354. Springer, Heidelberg (1999)"},{"issue":"2","key":"23_CR13","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R. Sandhu","year":"1996","unstructured":"Sandhu, R., Coyne, E., Feinstein, H., Youman, C.: Role-Based Access Control Models. IEEE Computer\u00a029(2), 38\u201347 (1996)","journal-title":"IEEE Computer"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-59040-4","volume-title":"CONCUR \u201995 Concurrency Theory","author":"B. Steffen","year":"1995","unstructured":"Steffen, B., Cla\u00dfen, A., Klein, M., Knoop, J., Margaria, T.: The Fixpoint Analysis Machine. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962. Springer, Heidelberg (1995)"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B. Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: METAFrame in Practice: Intelligent Network Service Design. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"key":"23_CR16","unstructured":"Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical service definition, Annual Review of Communication. Int. Engin. Consortium (IEC), 847\u2013856 (1997)"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-49020-3_2","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Weber","year":"1999","unstructured":"Weber, H.: Continuous Engineering of Information and Communication Infrastructures. In: Finance, J.-P. (ed.) FASE 1999. LNCS, vol.\u00a01577, pp. 22\u201329. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Innovative Concepts for Autonomic and Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11964995_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T09:40:23Z","timestamp":1552383623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11964995_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540692652","9783540692669"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11964995_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}