{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:55Z","timestamp":1725557875640},"publisher-location":"Boston, MA","reference-count":21,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387885223"},{"type":"electronic","value":"9780387885230"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-88523-0_20","type":"book-chapter","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T17:03:08Z","timestamp":1276621388000},"page":"269-278","source":"Crossref","is-referenced-by-count":0,"title":["Using 3D Models And Discrete Simulations In Infrastructure Security Applications"],"prefix":"10.1007","author":[{"given":"Pierluigi","family":"Assogna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Glauco","family":"Bertocchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Paoluzzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Vicentino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Scorzelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Zollo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1_20","volume-title":"Programming Erlang: Software for a Concurrent World","author":"J. Armstrong","year":"2007","unstructured":"J. Armstrong, Programming Erlang: Software for a Concurrent World, Pragmatic Bookshelf, Raleigh, North Carolina, 2007."},{"key":"20_CR2_20","unstructured":"P. Assogna, G. Bertocchi, A. Paoluzzi, G. Scorzelli and R. Zollo, From 2D plans to 3D building models for security modeling of critical infrastruc tures, to appear in International Journal of Shape Modeling, 2008."},{"issue":"8","key":"20_CR3_20","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"J. Backus, Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Communications of the ACM, vol. 21(8), pp. 613\u2013641, 1978.","journal-title":"Communications of the ACM"},{"key":"20_CR4_20","first-page":"219","volume-title":"Research Topics in Functional Programming","author":"J. Backus","year":"1990","unstructured":"J. Backus, J. Williams and E. Wimmers, An introduction to the programming language FL, in Research Topics in Functional Programming, D. Turner (Ed.), Addison-Wesley Longman, Boston, Massachusetts, pp. 219\u2013 247, 1990."},{"issue":"11","key":"20_CR5_20","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1016\/S0010-4485(99)00062-7","volume":"31","author":"C. Bajaj","year":"1999","unstructured":"C. Bajaj, C. Baldazzi, S. Cutchin, A. Paoluzzi, V. Pascucci and M. Vi-centino, A programming approach for complex animations (Part I:Methodology), Computer-Aided Design, vol. 31(11), pp. 695\u2013710, 1999.","journal-title":"Computer-Aided Design"},{"issue":"5","key":"20_CR6_20","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1080\/16864360.2006.10738411","volume":"3","author":"C. Bajaj","year":"2006","unstructured":"C. Bajaj, A. Paoluzzi and G. Scorzelli, Progressive conversion from B-rep to BSP for streaming geometric modeling, Computer-Aided Design and Applications, vol. 3(5), pp. 577\u2013586, 2006.","journal-title":"Computer-Aided Design and Applications"},{"issue":"3","key":"20_CR7_20","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/217853.217857","volume":"5","author":"J. Cremer","year":"1995","unstructured":"J. Cremer, J. Kearney and Y. Papelis, HCSM: A framework for behavior and scenario control in virtual environments, ACM Transactions on Modeling and Computer Simulation, vol. 5(3), pp. 242\u2013267, 1995.","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"key":"20_CR8_20","doi-asserted-by":"crossref","unstructured":"C. Hewitt, P. Bishop, I. Greif, B. Smith, T. Matson and R. Steiger, Actor induction and meta-evaluation, Proceedings of the First Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 153\u2013168, 1973.","DOI":"10.1145\/512927.512942"},{"issue":"2","key":"20_CR9_20","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s10462-004-4103-5","volume":"23","author":"R. Howarth","year":"2005","unstructured":"R. Howarth, Spatial models for wide-area visual surveillance: Computational approaches and spatial building-blocks, Artificial Intelligence Review, vol. 23(2), pp. 97\u2013155, 2005.","journal-title":"Artificial Intelligence Review"},{"key":"20_CR10_20","volume-title":"The Ghost in the Machine","author":"A. Koestler","year":"1967","unstructured":"A. Koestler, The Ghost in the Machine, Arkana, London, United Kingdom, 1967."},{"issue":"10","key":"20_CR11_20","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1016\/S0010-4485(98)00031-1","volume":"30","author":"R. Lewis","year":"1998","unstructured":"R. Lewis and C. Sequin, Generation of 3D building models from 2D architectural plans, Computer-Aided Design, vol. 30(10), pp. 765\u2013779, 1998.","journal-title":"Computer-Aided Design"},{"key":"20_CR12_20","volume-title":"Complex Event Processing in Distributed Systems, Technical Report CSL-TR-98-754, Computer Systems Laboratory","author":"D. Luckham","year":"1998","unstructured":"D. Luckham and B. Frasca, Complex Event Processing in Distributed Systems, Technical Report CSL-TR-98-754, Computer Systems Laboratory, Stanford University, Palo Alto, California, 1998."},{"key":"20_CR13_20","doi-asserted-by":"crossref","unstructured":"J. Miller, G. Baramidze, A. Sheth and P. Fishwick, Investigating ontologies for simulation modeling, Proceedings of the Thirty-Seventh Annual Symposium on Simulation, pp. 55\u201363, 2004.","DOI":"10.1109\/SIMSYM.2004.1299465"},{"key":"20_CR14_20","doi-asserted-by":"crossref","unstructured":"R. Ott, M. Gutierrez, D. Thalmann and F. Vexo, Advanced virtual reality technologies for surveillance and security applications, Proceedings of the ACM International Conference on Virtual Reality Continuum and its Applications, pp. 163\u2013170, 2006.","DOI":"10.1145\/1128923.1128949"},{"key":"20_CR15_20","doi-asserted-by":"publisher","DOI":"10.1002\/0470013885","volume-title":"Geometric Programming for Computer-Aided Design","author":"A. Paoluzzi","year":"2003","unstructured":"A. Paoluzzi, Geometric Programming for Computer-Aided Design, John Wiley and Sons, Chichester, United Kingdom, 2003."},{"issue":"11","key":"20_CR16_20","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1016\/S0010-4485(99)00063-9","volume":"31","author":"A. Paoluzzi","year":"1999","unstructured":"A. Paoluzzi and A. D'Ambrogio, A programming approach for complex animations (Part II: Reconstruction of a real disaster), Computer-Aided Design, vol. 31(11), pp. 711\u2013732, 1999.","journal-title":"Computer-Aided Design"},{"key":"20_CR17_20","unstructured":"A. Paoluzzi and G. Scorzelli, Pattern-driven mapping from architectural plans to solid models of buildings, presented at the Israel-Italy Bi-National Conference on Shape Modeling and Reasoning for Industrial and Biomedical Applications, 2007."},{"issue":"12","key":"20_CR18_20","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1177\/0037549705064359","volume":"81","author":"M. Park","year":"2005","unstructured":"M. Park and P. Fishwick, Integrating dynamic and geometry model components through ontology-based inference, Simulation, vol. 81(12), pp. 795\u2013813, 2005.","journal-title":"Simulation"},{"key":"20_CR19_20","doi-asserted-by":"crossref","unstructured":"L. Perrochon, W. Mann, S. Kasriel and D. Luckham, Event mining with event processing networks, Proceedings of the Third Pacific-Asia Conference on Knowledge Discovery and Data Mining, pp. 474\u2013478, 1999.","DOI":"10.1007\/3-540-48912-6_63"},{"issue":"3","key":"20_CR20_20","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J. Peterson","year":"1977","unstructured":"J. Peterson, Petri nets, ACM Computing Surveys, vol. 9(3), pp. 223\u2013252, 1977.","journal-title":"ACM Computing Surveys"},{"key":"20_CR21_20","doi-asserted-by":"crossref","unstructured":"I. Sebe, J. Hu, S. You and U. Neumann, 3D video surveillance with augmented virtual environments, Proceedings of the First ACM SIGMM International Workshop on Video Surveillance, pp. 107\u2013112, 2003.","DOI":"10.1145\/982452.982466"}],"container-title":["IFIP \u2013 The International Federation for Information Processing","Critical Infrastructure Protection II"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T03:47:07Z","timestamp":1559188027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-88523-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387885223","9780387885230"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-88523-0_20","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[]}}