{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:37Z","timestamp":1750307497597,"version":"3.41.0"},"publisher-location":"San Diego, CA, USA","reference-count":7,"publisher":"Society for Computer Simulation International","license":[{"start":{"date-parts":[[2010,4,11]],"date-time":"2010-04-11T00:00:00Z","timestamp":1270944000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005073","name":"Agency for Defense Development","doi-asserted-by":"publisher","award":["UD080042AD"],"award-info":[{"award-number":["UD080042AD"]}],"id":[{"id":"10.13039\/501100005073","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003626","name":"Defense Acquisition Program Administration","doi-asserted-by":"publisher","award":["UD080042AD"],"award-info":[{"award-number":["UD080042AD"]}],"id":[{"id":"10.13039\/501100003626","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,11]]},"DOI":"10.1145\/1878537.1878567","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["DEVS-based doctrine validation of fleet anti-air defense"],"prefix":"10.1145","author":[{"given":"JeongHoon.","family":"Kim","sequence":"first","affiliation":[{"name":"KAIST, Daejeon, South Korea"}]},{"given":"ChangBeom.","family":"Choi","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, South Korea"}]},{"given":"Il-Chul","family":"Moon","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, South Korea"}]},{"given":"TagGon.","family":"Kim","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, South Korea"}]}],"member":"320","published-online":{"date-parts":[[2010,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Theory of Modeling and Simulation","author":"Zeigler B. P.","year":"2000","unstructured":"Zeigler , B. P. , Praehofer , H. and Kim , T. G . ( 2000 ) Theory of Modeling and Simulation , Second Edition, 2 nd ed., Academic Press Zeigler, B. P., Praehofer, H. and Kim, T. G. (2000) Theory of Modeling and Simulation, Second Edition, 2nd ed., Academic Press","edition":"2"},{"key":"e_1_3_2_1_2_1","unstructured":"SMSLAB DEVSim++ http:\/\/smslab.kaist.ac.kr  SMSLAB DEVSim++ http:\/\/smslab.kaist.ac.kr"},{"key":"e_1_3_2_1_3_1","volume-title":"Master Thesis, Operations Research Department, Naval Postgraduate School","author":"Chia H. K.","year":"1989","unstructured":"Chia , H. K. ( 1989 ) A Simulation of Combined Active and Electronic Warfare System for The Defense of a Naval Ship Against Multiple Low-Altitude Missiles Threat , Master Thesis, Operations Research Department, Naval Postgraduate School , Monterey, CA Chia, H. K. (1989) A Simulation of Combined Active and Electronic Warfare System for The Defense of a Naval Ship Against Multiple Low-Altitude Missiles Threat, Master Thesis, Operations Research Department, Naval Postgraduate School, Monterey, CA"},{"key":"e_1_3_2_1_4_1","volume-title":"Master Thesis, Operations Research Department, Naval Postgraduate School","author":"Lalis V.","year":"2007","unstructured":"Lalis , V. ( 2007 ) Exploring Naval Tactics with UAVs in an Island Complex Using Agent-Based Simulation , Master Thesis, Operations Research Department, Naval Postgraduate School , Monterey, CA Lalis, V. (2007) Exploring Naval Tactics with UAVs in an Island Complex Using Agent-Based Simulation, Master Thesis, Operations Research Department, Naval Postgraduate School, Monterey, CA"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1998.10473803"},{"key":"e_1_3_2_1_7_1","first-page":"305","volume-title":"SCSC-2007","author":"Kim T. G.","year":"2007","unstructured":"Kim , T. G. and Sung , C. H . ( 2007 ) Objective-driven DEVS Modeling Using OPI Matrix for Performance Evaluation of Discrete Event Systems , SCSC-2007 , San Diego, USA , pp. 305 -- 311 , Aug., 2007. Kim, T. G. and Sung, C. H. (2007) Objective-driven DEVS Modeling Using OPI Matrix for Performance Evaluation of Discrete Event Systems, SCSC-2007, San Diego, USA, pp. 305--311, Aug., 2007."},{"key":"e_1_3_2_1_8_1","volume-title":"November","author":"Tritten J.","year":"2000","unstructured":"Tritten , J. ( 2000 ) Naval Perspectives For Military Doctrine Development , November 2000, retrieved from http:\/\/www.nshspts.med.navy.mil\/corres\/service\/manual\/Ndc\/manual.htm on 29 January 2002 Tritten, J. (2000) Naval Perspectives For Military Doctrine Development, November 2000, retrieved from http:\/\/www.nshspts.med.navy.mil\/corres\/service\/manual\/Ndc\/manual.htm on 29 January 2002"}],"event":{"name":"SpringSim '10: 2010 Spring Simulation Conference","sponsor":["SCS Society for Modeling and Simulation International","SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Orlando Florida","acronym":"SpringSim '10"},"container-title":["Proceedings of the 2010 Spring Simulation Multiconference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1878537.1878567","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1878537.1878567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:17:41Z","timestamp":1750249061000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1878537.1878567"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,11]]},"references-count":7,"alternative-id":["10.1145\/1878537.1878567","10.5555\/1878537"],"URL":"https:\/\/doi.org\/10.1145\/1878537.1878567","relation":{},"subject":[],"published":{"date-parts":[[2010,4,11]]},"assertion":[{"value":"2010-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}