The MARF Research and Development Group, “The Modular Audio Recognition Framework and its Applications,” SourceForge.net, 2002– 2008, http://marf.sf.net, last viewed December 2008. S. A. Mokhov, “Study of best algorithm combinations for speech processing tasks in machine learning using median vs. mean clusters in MARF,” in Proceedings of C3S2E’08, B. C. Desai, Ed. Montreal, Quebec, Canada: ACM and BytePress, May 2008, pp. 29–43, ISBN 978–1-60558–101–9. S. A. Mokhov, “Writer Identification Using Inexpensive Signal Processing Techniques: Experimental Results,” 2008, unpublished. S. A. Mokhov and M. Debbabi, “File type analysis using signal processing techniques and machine learning vs. file unix utility for forensic analysis,” in Proceedings of the IT Incident Management and IT Forensics (IMF’08), O. Goebel, S. Frings, D. Guenther, J. Nedon, and D. Schadt, Eds., Mannheim, Germany, Sep. 2008, pp. 73–85, LNI140. S. A. Mokhov, “Towards syntax and semantics of hierarchical contexts in multimedia processing applications using MARFL,” in Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC). Turku, Finland: IEEE Computer Society, Jul. 2008, pp. 1288–1294. S. A. Mokhov and J. Paquet, “Formally specifying and proving operational aspects of Forensic Lucid in Isabelle,” Department of Electrical and Computer Engineering, Concordia University, Tech. Rep. 2008–1Ait Mohamed, Aug. 2008, in Theorem Proving in Higher Order Logics (TPHOLs2008): EmergingTrends Proceedings. S. A. Mokhov, J. Paquet, and M. Debbabi, “Formally specifying operational semantics and language constructs of Forensic Lucid,” in Proceedings of the IT Incident Management and ITForensics (IMF’08), O. Goebel, S. Frings, D. Guenther, J. Nedon, and D. Schadt, Eds., Mannheim, Germany, Sep. 2008, pp. 197–216, LNI140. E.A. Ashcroft and W.W.Wadge, “Lucid -a formal system for writing and proving programs,” SIAMJ. Comput., vol. 5, no. 3, 1976. E.A. Ashcroft and W.W.Wadge, “Erratum: Lucid -a formal system for writing and proving programs.” SIAMJ. Comput., vol. 6, no. (1):200, 1977. E.A. Ashcroft and W.W.Wadge, “Lucid, a nonprocedural language with iteration,” Communication of the ACM, vol. 20, no. 7, pp. 519–526, Jul. 1977. W.Wadge and E. Ashcroft, Lucid, the Dataflow Programming Language. London: Academic Press, 1985. E. Ashcroft, A. Faustini, R. Jagannathan, and W. Wadge, Multidimensional, Declarative Programming. London: Oxford University Press, 1995. J. Paquet, “Scientific intensional programming,” Ph.D. dissertation, Department of Computer Science, Laval University, Sainte-Foy, Canada, 1999. R. Lalement, Computation as Logic. Prentice Hall, 1993, C.A.R. Hoare Series Editor. English translation from French by John Plaice. P. Rondogiannis, “Higher-order functional languages and intensional logic,” Ph.D. dissertation, Department of Computer Science, University ofVictoria,Victoria, Canada, 1994. P. Gladyshev, “Finite state machine analysis of a blackmail investigation,” in International Journal of Digital Evidence. Technical and Security Risk Services, Sprint 2005,Volume 4, Issue 1, 2005. P. Gladyshev and A. Patel, “Finite state machine approach to digital event reconstruction,” in Digital InvestigationJournal, vol. 2, 2004. J. Paquet and P. Kropf, “The GIPSY architecture,” in Proceedings of Distributed Computing on theWeb, Quebec City, Canada, 2000. J. Paquet, “Amulti-tier architecture for the distributed eductiveexecution of hybrid intensional programs,” 2008, submitted for publication at SAC’09. P. Swoboda, “A formalisation and implementation of distributed intensional programming,” Ph.D. dissertation, The University of New South Wales, Sydney, Australia, 2004. P. Swoboda and W. W. Wadge, “Vmake, ISE, and IRCS: General tools for the intensionalization of software systems,” in Intensional Programming II, M. Gergatsoulis and P. Rondogiannis, Eds. World-scientific, 2000. P. Swoboda and J. Plaice, “A new approach to distributed context-aware computing,” in Advances in Pervasive Computing, A. Ferscha, H. Hoertner, and G. Kotsis, Eds. Austrian Computer Society, 2004, ISBN 3–85403-176–9. P. Swoboda and J. Plaice, “An active functional intensional database,” in Advances in Pervasive Computing, F. Galindo, Ed. Springer, 2004, pp. 56–65, LNCS 3180. L. C. Paulson and T. Nipkow, “Isabelle: A generic proof assistant,” University of Cambridge and Technical University of Munich, 2007, http://isabelle.in.tum.de/, last viewed: December 2007. M. Debbabi, A. R. Arasteh, A. Sakha, M. Saleh, and A. Fry, “A collection of JPF forensic plug-ins,” Computer Security Laboratory, Concordia Institute for Information Systems Engineering, 2007–2008. A. R. Arasteh and M. Debbabi, “Forensic memory analysis: From stack and code to execution history,” Digital Investigation Journal, vol. 4, no. 1, pp. 114–125, Sep. 2007. A. R. Arasteh, M. Debbabi, A. Sakha, and M. Saleh, “Analyzing multiple logs for forensic evidence,” Digital InvestigationJournal, vol. 4, no. 1, pp. 82–91, Sep. 2007.