Reasoning About a Simulated Printer Case Investigation with Forensic Lucid
暂无分享,去创建一个
[1] Mourad Debbabi,et al. On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY , 2011, 2011 Ninth Annual International Conference on Privacy, Security and Trust.
[2] Serguei A. Mokhov. Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY , 2005, ArXiv.
[3] Paul Warren Swoboda. A formalization and implementation of distributed intensional programming , 2004 .
[4] Yi Ji. Scalability Evaluation of the Gipsy Runtime System , 2011 .
[5] Joey Paquet,et al. GIPSY - A Platform for the Investigation on Intensional Programming Languages , 2005, PLC.
[6] René Lalement. Computation as logic , 1993, Prentice Hall International series in computer science.
[7] Joey Paquet. Distributed Eductive Execution of Hybrid Intensional Programs , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.
[8] John Plaice,et al. Sequential Demand-Driven Evaluation of Eager TransLucid , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.
[9] Ahmed Patel,et al. Finite state machine approach to digital event reconstruction , 2004, Digit. Investig..
[10] John Plaice,et al. A Multithreaded Implementation for TransLucid , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.
[11] Mourad Debbabi,et al. Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid , 2009, HSC.
[12] Peter Grogono,et al. Toward JLucid, Lucid with Embedded Java Functions in the GIPSY , 2005, PLC.
[13] Serguei A. Mokhov,et al. Object-Oriented Intensional Programming: Intensional Java/Lucid Classes , 2009, 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications.
[14] Serguei A. Mokhov,et al. Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY , 2005, PLC.
[15] R. Jagannathan,et al. Multidimensional programming , 1995 .
[16] William W. Wadge,et al. Lucid, a nonprocedural language with iteration , 1977, CACM.
[17] Serguei A. Mokhov,et al. Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle , 2009, ArXiv.
[18] Kaiyu Wan,et al. Lucx: Lucid Enriched with Context , 2005, PLC.
[19] Serguei A. Mokhov,et al. Design and Implementation of Context Calculus in the GIPSY Environment , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.
[20] William W. Wadge,et al. Lucid - A Formal System for Writing and Proving Programs , 1976, SIAM J. Comput..
[21] Serguei A. Mokhov. The Role of Self-Forensics Modeling for Vehicle Crash Investigations and Event Reconstruction Simulation , 2009, HSC.
[22] Serguei A. Mokhov. Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.
[23] Serguei A. Mokhov. Encoding Forensic Multimedia Evidence from MARF Applications as Forensic Lucid Expressions , 2008, TeNe.
[24] Xin Tong. Design and implementation of context calculus in the gipsy , 2008 .
[25] William W. Wadge,et al. Lucid, the dataflow programming language , 1985 .
[26] Mourad Debbabi,et al. Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid , 2008, IMF.
[27] Penn State University. Observation Modeling with Credibility Factors and Mathematical Theory of Evidence , 2009 .