{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:22:17Z","timestamp":1774416137295,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540333425","type":"print"},{"value":"9783540333524","type":"electronic"}],"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\/11734697_12","type":"book-chapter","created":{"date-parts":[[2006,4,28]],"date-time":"2006-04-28T12:56:35Z","timestamp":1146228995000},"page":"153-166","source":"Crossref","is-referenced-by-count":15,"title":["On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in TuCSoN"],"prefix":"10.1007","author":[{"given":"Luca","family":"Gardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Horn, P.: Autonomic computing: IBM\u2019s perspective on the state of information technology (2001)"},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"issue":"5","key":"12_CR3","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/332833.332842","volume":"43","author":"H. Abelson","year":"2000","unstructured":"Abelson, H., Allen, D., Coore, D., Hanson, C., Homsy, G., Thomas, F., Knight, J., Nagpal, R., Rauch, E., Sussman, G.J., Weiss, R.: Amorphous computing. Communications of the ACM\u00a043(5), 74\u201382 (2000)","journal-title":"Communications of the ACM"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/ENABL.2004.58","volume-title":"13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2004)","author":"F. Zambonelli","year":"2004","unstructured":"Zambonelli, F., Gleizes, M.P., Mamei, M., Tolksdorf, R.: Spray computers: Frontiers of self-organization for pervasive computing. In: 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2004), Washington, DC, USA, pp. 403\u2013408. IEEE Computer Society, Los Alamitos (2004)"},{"key":"12_CR5","unstructured":"Heylighen, F.: The science of self-organization and adaptivity. In: Knowledge Management, Organizational Intelligence and Learning, and Complexity. The Encyclopedia of Life Support Systems. EOLSS Publishers (2003)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I\/II. Information and Computation\u00a0100(1) (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"12_CR7","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Institut f\u00fcr Instrumentelle Mathematik, University of Bonn, Bonn, Germany (1962)"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1145\/937555.937558","volume":"4","author":"J. Bryans","year":"2003","unstructured":"Bryans, J., Bowman, H., Derrick, J.: Model checking stochastic automata. ACM Trans. Comput. Logic\u00a04(4), 452\u2013492 (2003)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"7","key":"12_CR9","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic pi-calculus. Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"Computer Journal"},{"key":"12_CR10","unstructured":"Phillips, A.: The stochastic Pi machine. SPiM (2005), http:\/\/www.doc.ic.ac.uk\/~anp\/spim\/"},{"key":"12_CR11","unstructured":"Phillips, A., Cardelli, L.: Simulating biological systems in the stochastic pi-calculus (2004)"},{"issue":"10","key":"12_CR12","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/262793.262811","volume":"40","author":"S. Forrest","year":"1997","unstructured":"Forrest, S., Hofmeyr, S.A., Somayaji, A.: Computer immunology. Communications of the ACM\u00a040(10), 88\u201396 (1997)","journal-title":"Communications of the ACM"},{"issue":"3","key":"12_CR13","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A. Omicini","year":"1999","unstructured":"Omicini, A., Zambonelli, F.: Coordination for internet application development. Autonomous Agents and Multi-Agent Systems\u00a02(3), 251\u2013269 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"12_CR14","first-page":"286","volume-title":"3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004)","author":"A. Omicini","year":"2004","unstructured":"Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: Environment-based coordination for intelligent agents. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol.\u00a01, pp. 286\u2013293. ACM, New York (2004)"},{"key":"#cr-split#-12_CR15.1","doi-asserted-by":"crossref","unstructured":"Omicini, A., Ricci, A., Viroli, M.: RBAC for organisation and security in an agent coordination infrastructure. Electronic Notes in Theoretical Computer Science??128(5), 65???85 (2005);","DOI":"10.1016\/j.entcs.2004.11.045"},{"key":"#cr-split#-12_CR15.2","unstructured":"Proceedings 2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo 2004) (30 August 2004)"},{"key":"12_CR16","first-page":"75","volume-title":"1997 Workshop on New Security Paradigms (NSPW 1997)","author":"A. Somayaji","year":"1997","unstructured":"Somayaji, A., Hofmeyr, S., Forrest, S.: Principles of a computer immune system. In: 1997 Workshop on New Security Paradigms (NSPW 1997), pp. 75\u201382. ACM Press, New York (1997)"},{"issue":"9","key":"12_CR17","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1016\/S1389-1286(98)00017-6","volume":"31","author":"H. Debar","year":"1999","unstructured":"Debar, H., Marc, D., Andreas, W.: Towards a taxonomy of intrusion-detection systems. Computer Networks: The International Journal of Computer and Telecommunications Networking\u00a031(9), 805\u2013822 (1999)","journal-title":"Computer Networks: The International Journal of Computer and Telecommunications Networking"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/SECPRI.1996.502675","volume-title":"1996 IEEE Symposium on Security and Privacy","author":"S. Forrest","year":"1996","unstructured":"Forrest, S., Hofmeyr, S.A., Anil, S.: A sense of self for Unix processes. In: 1996 IEEE Symposium on Security and Privacy, pp. 120\u2013128. IEEE Computer Society, Los Alamitos (1996)"},{"key":"12_CR19","first-page":"187","volume-title":"Process Coordination and Ubiquitous Computing.","author":"A. Omicini","year":"2002","unstructured":"Omicini, A.: Towards a notion of agent coordination context. In: Marinescu, D.C., Lee, C. (eds.) Process Coordination and Ubiquitous Computing., pp. 187\u2013200. CRC Press, Boca Raton (2002)"},{"key":"12_CR20","unstructured":"Hofmeyr, S.A., Forrest, S.: Immunity by design: an artificial immune system. In: Genetic and Evolutionary Computation Conference (GECCO 1999), pp. 1289\u20131296 (1999)"},{"key":"12_CR21","volume-title":"International Summer School on Logic Algebra of Specification","author":"R. Milner","year":"1993","unstructured":"Milner, R.: The polyadic \u03c0-calculus: a tutorial. In: Brauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) International Summer School on Logic Algebra of Specification. Springer, Heidelberg (1993)"},{"key":"12_CR22","first-page":"183","volume-title":"Lectures on formal methods and performance analysis: 1st EEF\/Euro Summer School on Trends in Computer Science","author":"E. Brinksma","year":"2002","unstructured":"Brinksma, E., Hermanns, H.: Process algebra and Markov chains. In: Lectures on formal methods and performance analysis: 1st EEF\/Euro Summer School on Trends in Computer Science, pp. 183\u2013231. Springer, Heidelberg (2002)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry\u00a081(25) (1977)","DOI":"10.1021\/j100540a008"},{"key":"12_CR24","series-title":"Lecture Notes in Artificial Intelligence","first-page":"77","volume-title":"Engineering Self-Organising Systems","author":"S. Hassas","year":"2003","unstructured":"Hassas, S., Foukia, N.: Towards self-organizing computer networks: A complex system perspective. In: Di Marzo Serugendo, G., Karageorgos, A., Rana, O.F., Zambonelli, F. (eds.) ESOA 2003. LNCS (LNAI), vol.\u00a02977, pp. 77\u201383. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Engineering Self-Organising Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11734697_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T07:34:30Z","timestamp":1555572870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11734697_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540333425","9783540333524"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11734697_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}