{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:48:16Z","timestamp":1729648096349,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/pst.2011.5971973","type":"proceedings-article","created":{"date-parts":[[2011,8,15]],"date-time":"2011-08-15T20:33:42Z","timestamp":1313440422000},"page":"120-123","source":"Crossref","is-referenced-by-count":2,"title":["On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY"],"prefix":"10.1109","author":[{"given":"Serguei A.","family":"Mokhov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joey","family":"Paquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Debbabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"382","article-title":"Simulation and visualization of resource allocation, control, and load balancing procedures for a multiprocessor architecture","author":"zheng","year":"2006","journal-title":"MS ‘06 Proceedings of the 17th IASTED international conference on Modelling and simulation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.052"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195104271.001.0001","author":"allwein","year":"1996","journal-title":"Logical Reasoning with Diagrams"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1142\/9789812815149_0003"},{"key":"ref14","article-title":"A diagrammatic formal system for euclidean geometry","author":"miller","year":"2001","journal-title":"Ph D Dissertation"},{"key":"ref15","article-title":"Scalability evaluation of the GIPSY runtime system","author":"ji","year":"2011","journal-title":"Master's thesis"},{"key":"ref16","first-page":"197","article-title":"Formally specifying operational semantics and language constructs of Forensic Lucid","author":"mokhov","year":"2008","journal-title":"Proceedings of the IT Incident Management and IT Forensics (IMF'08)"},{"key":"ref17","article-title":"OO-IP hybrid language design and a framework approach to the GIPC","author":"wu","year":"2009","journal-title":"Ph D Dissertation"},{"journal-title":"Eclipse org","article-title":"Eclipse Platform","year":"2000","key":"ref18"},{"journal-title":"Pure Data","year":"2007","author":"puckette","key":"ref19"},{"journal-title":"PRISM Probabilistic Model Checker","article-title":"The PRISM Team","year":"2004","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1822327.1822342"},{"key":"ref6","article-title":"The equivalence of a denotational and an operational semantics of pure data flow","author":"faustini","year":"1982","journal-title":"Ph D Dissertation"},{"key":"ref5","article-title":"Scientific intensional programming","author":"paquet","year":"1999","journal-title":"Ph D Dissertation"},{"journal-title":"The DOT Language","year":"1996","key":"ref8"},{"journal-title":"Graphviz - Graph Visualization Software","year":"1996","key":"ref7"},{"key":"ref2","article-title":"Automated translation between graphical and textual representations of intensional programs in the GIPSY","author":"ding","year":"2004","journal-title":"Master's thesis"},{"key":"ref1","article-title":"Finite state machine approach to digital event reconstruction","volume":"2","author":"gladyshev","year":"2004","journal-title":"Digital Investigation Journal"},{"key":"ref9","article-title":"Towards hybrid intensional programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY","author":"mokhov","year":"2005","journal-title":"Master's thesis"},{"journal-title":"Netbeans Integrated Development Environment","year":"2004","key":"ref20"},{"key":"ref22","article-title":"Web services business process execution language (WS-BPEL 2.0): The standards landscape","author":"koenig","year":"2007","journal-title":"Presentation IBM Software Group"},{"journal-title":"BPEL service engine","year":"2009","key":"ref21"},{"key":"ref24","article-title":"Verification and validation of UML and SysML based systems engineering design models","author":"jarraya","year":"2010","journal-title":"Ph D Dissertation"},{"journal-title":"Business Process Execution Language for Web Services Version 1 1","year":"2007","key":"ref23"}],"event":{"name":"2011 Ninth Annual International Conference on Privacy, Security and Trust","start":{"date-parts":[[2011,7,19]]},"location":"Montreal, QC","end":{"date-parts":[[2011,7,21]]}},"container-title":["2011 Ninth Annual International Conference on Privacy, Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5961997\/5971950\/05971973.pdf?arnumber=5971973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,30]],"date-time":"2021-11-30T13:25:34Z","timestamp":1638278734000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5971973\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/pst.2011.5971973","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}