{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:18:43Z","timestamp":1729653523406,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/cec.2009.4982951","type":"proceedings-article","created":{"date-parts":[[2009,10,14]],"date-time":"2009-10-14T16:17:46Z","timestamp":1255537066000},"page":"217-224","source":"Crossref","is-referenced-by-count":12,"title":["The engineering of concurrent simulations of complex systems"],"prefix":"10.1109","author":[{"given":"Fiona A. C.","family":"Polack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul S.","family":"Andrews","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam T.","family":"Sampson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"complex systems models: engineering simulations","author":"polack","year":"2008","journal-title":"ALife XI"},{"journal-title":"Argumentation and the Design of Emergent Systems","year":"0","author":"polack","key":"35"},{"key":"17","first-page":"237","article-title":"the use of graphical models in model validation","year":"1986","journal-title":"Proceedings of the 28th conference on Winter simulation"},{"key":"36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-74035-3_17","article-title":"towards evidence-based architectural design for safety-critical software applications","volume":"4615","author":"wu","year":"2007","journal-title":"Architecting Dependable Systems ser LNCS"},{"key":"18","first-page":"433","article-title":"an architecture for modelling emergence in ca-like systems","volume":"3630","author":"polack","year":"2005","journal-title":"ECAL ser LNAI"},{"key":"33","article-title":"design and development of dependability case architecture during system development","author":"despotou","year":"2007","journal-title":"25th International System Safety Conference"},{"key":"15","first-page":"93","article-title":"simulating biology: towards understanding what the simulation shows","author":"andrews","year":"2008","journal-title":"Workshop on Complex Systems Modelling and Simulation"},{"key":"34","first-page":"33","article-title":"engineering safetycritical complex systems","author":"alexander","year":"2008","journal-title":"Workshop on Complex Systems Modelling and Simulation"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2005.1574246"},{"journal-title":"Using UML 2nd Ed","year":"2006","author":"stevens","key":"13"},{"key":"14","first-page":"1","article-title":"framework for empirical exploration of emergence using multi-agent simulation","author":"paunovski","year":"2008","journal-title":"Workshop on Complex Systems Modelling and Simulation"},{"journal-title":"The Principled Design of Computer System Safety Analyses","year":"2000","author":"pumfrey","key":"37"},{"journal-title":"SSADM Version 4 Reference Manual","year":"1990","key":"11"},{"journal-title":"Security Analysis with Deviational Techniques","year":"2005","author":"srivatanakul","key":"38"},{"journal-title":"Object-Oriented Modelling and Design","year":"1991","author":"rumbaugh","key":"12"},{"key":"21","first-page":"175","article-title":"communicating mobile processes: introducing occam-pi","volume":"3525","author":"welch","year":"2005","journal-title":"25 Years of CSP Ser LNCS"},{"key":"20","article-title":"a theory-based conceptual terminology for m&s vv&a","author":"zeigler","year":"1999","journal-title":"Tech Rep 99S-SIW-064"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"22"},{"journal-title":"The Pi Calculus","year":"1999","author":"milner","key":"23"},{"key":"24","first-page":"85","article-title":"two-way protocols for occam-","author":"sampson","year":"2008","journal-title":"Communicating Process Architectures 2008"},{"key":"25","article-title":"a design strategy for deadlock-free concurrent systems","volume":"3","author":"martin","year":"1997","journal-title":"Transputer Communications"},{"key":"26","first-page":"17","article-title":"a csp model for mobile channels","author":"welch","year":"2008","journal-title":"Communicating Process Architectures 2008"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.12.009"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.31"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2006.0173"},{"key":"3","first-page":"497","article-title":"simulation models as opaque thought experiments","author":"paolo","year":"2000","journal-title":"Articial Life VII"},{"key":"2","article-title":"artificial life as theoretical biology: how to do real science with computer simulation","author":"miller","year":"1995","journal-title":"Tech Rep Cognitive Science Research Paper 378"},{"key":"10","first-page":"174","article-title":"prometheus: a methodology for developing intelligent agents","volume":"2585","author":"padgham","year":"2003","journal-title":"AOSE III Ser LNCS"},{"journal-title":"Using simulation for systems of systems hazard analysis","year":"2007","author":"alexander","key":"1"},{"key":"30","doi-asserted-by":"crossref","first-page":"678","DOI":"10.1038\/nri2156","article-title":"getting to the site of inflammation: the leukocyte adhesion cascade updated","volume":"7","author":"ley","year":"2007","journal-title":"Nature Reviews Immunology"},{"key":"7","article-title":"investigating patterns for the processoriented modelling and simulation of space in complex systems","author":"andrews","year":"2008","journal-title":"Artificial Life XI"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-0526(199905\/06)4:5<41::AID-CPLX9>3.0.CO;2-F"},{"journal-title":"The safety of software - Constructing and assuring arguments","year":"2003","author":"weaver","key":"32"},{"key":"5","first-page":"520","article-title":"computational modelling, explicit mathematical treatments, and scientific explanation","author":"bryden","year":"2006","journal-title":"Artificial Life"},{"journal-title":"Arguing Safety - A Systematic Approach To Managing Safety Cases","year":"1999","author":"kelly","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1162\/106454602753694783"},{"key":"9","first-page":"126","article-title":"evaluation of agent-oriented software methodologies - examination of the gap between modeling and platform","volume":"3382","author":"sudeikat","year":"2004","journal-title":"AOSE 2004 Ser LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1433"}],"event":{"name":"2009 IEEE Congress on Evolutionary Computation (CEC)","start":{"date-parts":[[2009,5,18]]},"location":"Trondheim, Norway","end":{"date-parts":[[2009,5,21]]}},"container-title":["2009 IEEE Congress on Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4939002\/4982922\/04982951.pdf?arnumber=4982951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:58:52Z","timestamp":1558573132000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4982951\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/cec.2009.4982951","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}