Main Navigation (Top Menu) Secondary Navigation (Side Menu) Page Content

Technical Reports

All Technical Reports (most recent first)

2016-631: Timed Automata to Synthesize Controllers of Dynamic Hierarchical Real-Time Plants by Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel and Karen Rudie. August 2016. 66 pages.
- PDF file
2016-630: A Controller Synthesis Framework for Automated Service Composition by Francis Atampore, Juergen Dingel and Karen Rudie. April 2016. 60 pages.
- PDF file
2016-629: The Quantum Chess Story by Selim G. Akl. February 2016. 11 pages.
- PDF file
2016-628: Model Development Guidelines for UML-RT by Tuhin Kanti Das and Juergen Dingel. January 2016. 55 pages.
- PDF file
2015-627: Comparison and Evaluation of Model Transformation Tools by Nafiseh Kahani and James R. Cordy. December 2015. 42 pages.
- PDF file
2015-626: Proceedings of the 27th Canadian Conference on Computational Geometry by Bahram Kouhestani and David Rappaport. October 2015. 314 pages.
- PDF file
2015-625: On computable numbers, nonuniversality, and the genuine power of parallelism by Selim G. Akl and Nancy Salay. July 2015. 13 pages.
- PDF file
2015-624: Cost-Effective Resource Configurations for Multi-tenant Database Systems in Public Clouds by Rizwan Mian. December 2015. 28 pages.
- PDF file
2015-623: Incremental Symbolic Execution of Evolving State Machines using Memoization and Dependence Analysis by Amal Khalil and Juergen Dingel. April 2015. 42 pages.
- PDF file
2014-622: A Model for Industrial Real-Time Systems by Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel and Karen Rudie. October 2014. 28 pages.
- PDF file
2014-621: CISC 220 Course Notes: Linux and C by David Alex Lamb. July 2014. 119 pages.
- PDF file
2014-620: Increasing the Discovery Power and Confidence Levels of Disease Association Studies: A Survey by Layan Nahlawi. April 2014. 50 pages.
- PDF file
- PS file
2014-619: Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems by Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel and Karen Rudie. April 2014. 26 pages.
- PDF file
- PS file
2014-618: Vehicle as a Mobile Sensor by Sherin Abdel Hamid, Hossam Hassanein and Glen Takahara. March 2014. 18 pages.
- PDF file
- PS file
2014-617: Localization In Large-Scale Wireless Sensor Networks by Yaser Al Mtawa, Hossam Hassanein and Nidal Nasser. January 2014. 47 pages.
- PDF file
- PS file
2013-616: Symbolic Model Transformation Property Prover for DSLTrans by Gehan Mustafa Kamel Selim, Levi Lúcio, James R. Cordy and Juergen Dingel. December 2013. 34 pages.
- PDF file
- PS file
2013-615: Time-Shifted Multilateration for Mobile Object Localization using RFID Crowdsourcing by Lobna Eslim, Hossam Hassanein, Walid M. Ibrahim and Abdallah Alma'aitah. November 2013. 27 pages.
- PDF file
- PS file
2013-614: 3D Object Recognition by Mustafa Mohamad. November 2013. 31 pages.
- PDF file
- PS file
2013-613: Estimating Resource Costs of Executing Data-Intensive Workloads in Public Clouds by Rizwan Mian, Patrick Martin and Farhana Zulkernine. November 2013. 9 pages.
- PDF file
- PS file
2013-612: Determining Cost-Effective Configurations for Data-intensive Workloads in the Cloud (PhD Thesis Proposal) by Rizwan Mian. October 2013. 19 pages.
- PDF file
- PS file
2013-611: Case-Based Reasoning for Diagnosis and Solution Planning by Sima Soltani. September 2013. 55 pages.
- PDF file
- PS file
2013-610: Mesh Partitioning by Bahram Kouhestani. September 2013. 39 pages.
- PDF file
- PS file
2013-609: Nonuniversality in computation: Thirteen misconceptions rectified by Selim G. Akl. August 2013. 26 pages.
- PDF file
- PS file
2013-608: What is Computation? by Selim G. Akl. August 2013. 13 pages.
- PDF file
- PS file
2013-607: Contract-based compositional analysis for reactive systems in RTEdge, an AADL-based language by Ernesto Posse. August 2013. 90 pages.
- PDF file
- PS file
2013-606: A formal semantics for RTEdge by Ernesto Posse. August 2013. 30 pages.
- PDF file
- PS file
2013-605: Communicating Secret Information Without Secret Messages by Naya Nagy, Marius Nagy and Selim G. Akl. August 2013. 7 pages.
- PDF file
- PS file
2013-604: Application of Graph Grammars to Model Transformations by Francisco de la Parra. July 2013. 44 pages.
- PDF file
- PS file
2013-603: The Computation of Sensor Activation Decisions in Discrete-Event Systems by David Sears and Karen Rudie. March 2013. 26 pages.
- PDF file
- PS file
2013-602: Supporting the Evolution of UML Models in Model Driven Software Development: A Survey by Amal Khalil and Juergen Dingel. February 2013. 85 pages.
- PDF file
- PS file
2013-601: Sensor Activation and Communication Problems in Discrete-Event Systems by David Sears and Karen Rudie. January 2013. 73 pages.
- PDF file
- PS file
2012-600: Detecting Deception in Interrogation Settings by C.E. Lamb and David B. Skillicorn. December 2012. 30 pages.
- PDF file
- PS file
2012-599: Localization in Medical Sensory Systems by Lobna Eslim and Hossam Hassanein. November 2012. 41 pages.
- PDF file
- PS file
2012-598: Enabling Mobile Web Service Provisioning by Khalid Elgazzar, Patrick Martin and Hossam Hassanein. October 2012. 17 pages.
- PDF file
- PS file
2012-597: Personal Web Services: Architecture and Design by Khalid Elgazzar, Hossam Hassanein and Patrick Martin. October 2012. 17 pages.
- PDF file
- PS file
2012-596: Nondeterministic State Complexity and Quantifying Non-Determinism in Finite Automata by Alexandros Palioudakis. September 2012. 33 pages.
- PDF file
- PS file
2012-595: Optimizing application execution on a computational grid by employing task scheduling policies (research proposal) by Rizwan Mian. September 2012. 6 pages.
- PDF file
- PS file
2012-594: Comprehensive (Depth) Exam — Preparing Q&A by Rizwan Mian. August 2012. 21 pages.
- PDF file
- PS file
2012-593: Comparison of Clone Detection Techniques by Saeed Shafieian and Ying Zou. August 2012. 8 pages.
- PDF file
- PS file
2012-592: Analysis of Model Transformations by Gehan Mustafa Kamel Selim, James R. Cordy and Juergen Dingel. August 2012. 58 pages.
- PDF file
- PS file
2012-591: The π_klt-calculus: formal definition by Ernesto Posse. July 2012. 98 pages.
- PDF file
- PS file
2012-590: Mobility Management in Wireless Broadband Femtocells by Mahmoud Qutqut and Hossam Hassanein. July 2012. 43 pages.
- PDF file
- PS file
2012-589: Genealogical Information: A Case Study in Formal Specifications by David Alex Lamb. May 2012. 92 pages.
- PDF file
- PS file
2012-588: Routing Schemes for Delay-Tolerant Networks - An Applications Perspective by Ashraf E. Al-Fagih and Hossam Hassanein. March 2012. 42 pages.
- PDF file
2012-586: Mining Software Repositories with Topic Models by Stephen W. Thomas. February 2012. 43 pages.
- PDF file
- PS file
2012-585: Swarm Intelligence: Concepts, Models and Applications by Hazem Ahmed and Janice I. Glasgow. February 2012. 51 pages.
- PDF file
2011-583: Routing for Wireless Multi Hop Networks - Unifying and Distinguishing Features by Sherin Abdel Hamid, Hossam Hassanein and Glen Takahara. December 2011. 54 pages.
- PDF file
2011-582: A Survey of Methods and Applications of Model Comparison by Matthew Stephan and James R. Cordy. December 2011. 43 pages.
- PDF file
- PS file
2011-581: Managing Data-Intensive Workloads in a Cloud (Ph.D. Depth Paper) by Rizwan Mian. September 2011. 43 pages.
- PDF file
2011-580: Time Indeterminacy, Non-Universality in Computation, and the Demise of the Church-Turing Thesis by Naya Nagy and Selim G. Akl. August 2011. 27 pages.
- PDF file
- PS file
2011-579: Timed Automata for the Development of Real-Time Systems by Md Tawhid Bin Waez, Juergen Dingel and Karen Rudie. August 2011. 63 pages.
- PDF file
- PS file
2011-578: Symbolic Execution of UML-RT State Machines by Karolina Zurowska and Juergen Dingel. June 2011. 20 pages.
- PDF file
- PS file
2011-577: State Complexity of Star and Quotient Operation for Unranked Tree Automata by Xiaoxue Piao and Kai Salomaa. April 2011. 19 pages.
- PDF file
- PS file
2010-576: Relational Universal Index Structure for Evaluating XML Twig Queries by Samir Mohammad. November 2010. 12 pages.
- PDF file
2010-575: Information Retrieval Methods in Concept Location by Scott Grant. September 2010. 55 pages.
- PDF file
- PS file
2010-574: DiffLDA: Topic Evolution in Software Projects by Stephen W. Thomas, Bram Adams, Ahmed E. Hassan and Dorothea Blostein. July 2010. 24 pages.
- PDF file
- PS file
2010-573: Model-based generation of test cases for reactive systems by Karolina Zurowska and Juergen Dingel. July 2010. 43 pages.
- PDF file
- PS file
2010-572: Mitigating and Monitoring Program Security Vulnerabilities by Hossain Shahriar and Mohammad Zulkernine. June 2010. 74 pages.
- PDF file
- PS file
2010-571: Design Aspects of Multiplayer Exergames by Tad Stach. February 2010. 69 pages.
- PDF file
2010-570: LTIX: A Compact Level-based Tree to Index XML Databases by Samir Mohammad and Patrick Martin. May 2010. 29 pages.
- PDF file
- PS file
2010-569: Mapping UML-RT State Machines to kiltera by Ernesto Posse. April 2010. 43 pages.
- PDF file
- PS file
2010-568: On the Importance of Being Quantum by Selim G. Akl and . February 2010. 13 pages.
- PDF file
- PS file
2010-567: State complexity of unranked tree automata by Xiaoxue Piao and Kai Salomaa. January 2010. 20 pages.
- PDF file
- PS file
2009-566: Proceedings of the Doctoral Symposium at MODELS 2009 by Juergen Dingel. October 2009. 58 pages.
- PDF file
- PS file
2009-565: Lightweight Transformation of Data Models from SQL Schemas to UML-ER by Manar Alalfi, James R. Cordy and Thomas Dean. September 2009. 17 pages.
- PDF file
- PS file
2009-564: A Design Recovery View - JFace vs. SWT by Manar Alalfi. September 2009. 17 pages.
- PDF file
- PS file
2009-563: Simulating the Performance of prioritized scheduling with buffer management for differentiated services architecture using NS2 by Manar Alalfi. September 2009. 17 pages.
- PDF file
- PS file
2009-562: A Survey on Requirements and Design Methods for Secure Software Development by Muhammad Umair Ahmed Khan and Mohammad Zulkernine. August 2009. 26 pages.
- PDF file
- PS file
2009-561: Time Travel: A New Hypercomputational Paradigm by Selim G. Akl. July 2009. 18 pages.
- PDF file
- PS file
2009-560: XML Structural Indexes by Samir Mohammad and Patrick Martin. June 2009. 54 pages.
- PDF file
- PS file
2009-559: A Comparative Study on the Reliability Efforts in Component-Based Software Systems by Atef Mohamed and Mohammad Zulkernine. June 2009. 33 pages.
- PDF file
- PS file
2009-558: Observations on solving discrete-event control problems: patterns and strategies by Lenko Grigorov. April 2009. 163 pages.
- PDF file
- PS file
2009-557: A real-time extension to the π-calculus by Ernesto Posse. May 2009. 55 pages.
- PDF file
- PS file
2009-556: Parallel Singulations in Radio Frequency Identification by Kashif Ali and Hossam Hassanein. January 2009. 18 pages.
- PDF file
- PS file
2009-555: An Exploration of Semantic Formalisms - Part II: A Brief Survey of Other Semantic Formalisms by Craig Thomas. July 2009. 38 pages.
- PDF file
- PS file
2009-554: An Exploration of Semantic Formalisms - Part I: A Comparison of First Order Predicate Calculus, Intensional Logic and Conceptual Structures by Craig Thomas. February 2009. 32 pages.
- PDF file
- PS file
2008-553: Time-Sensitive Computational Models with a Dynamic Time Component by Naya Nagy and Selim G. Akl. November 2008. 17 pages.
- PDF file
- PS file
2008-552: Mapping UML State Machines to kiltera by Ernesto Posse and Juergen Dingel. November 2008. 34 pages.
- PDF file
- PS file
2008-551: Sensor Networks with Quantum Memories by Naya Nagy, Marius Nagy and Selim G. Akl. November 2008. 23 pages.
- PDF file
- PS file
2008-550: Web Applications Testing by Ben Kam. October 2008. 57 pages.
- PDF file
- PS file
2008-549: A Cryptosystem Based on the Composition of Reversible Cellular Automata by Adam Clarridge and Kai Salomaa. October 2008. 15 pages.
- PDF file
- PS file
2008-548: Model-Based Testing of Distributed Systems by Ahmad Saifan and Juergen Dingel. September 2008. 57 pages.
- PDF file
- PS file
2008-547: An improved cellular automata based algorithm for the 45-convex hull problem by Adam Clarridge and Kai Salomaa. July 2008. 19 pages.
- PDF file
- PS file
2008-546: Non-orthogonal Range Searching: A Review by Yurai Nunez Rodriguez. September 2008. 31 pages.
- PDF file
- PS file
2008-545: Methods for Evaluating Software Architecture: A Survey by Banani Roy and T. C. Nicholas Graham. April 2008. 82 pages.
- PDF file
- PS file
2008-544: Quantum Wireless Sensor Networks by Naya Nagy, Marius Nagy and Selim G. Akl. March 2008. 15 pages.
- PDF file
- PS file
2008-543: Subverting Knowledge Discovery in Adversarial Settings by J. G. Dutrisac and David B. Skillicorn. January 2008. 30 pages.
- PDF file
- PS file
2007-542: Key Distribution versus Key Enhancement in Quantum Cryptography by Naya Nagy, Marius Nagy and Selim G. Akl. November 2007. 16 pages.
- PDF file
- PS file
2007-541: A Survey on Software Clone Detection Research by Chanchal Kumar Roy and James R. Cordy. September 2007. 115 pages.
- PDF file
- PS file
2007-540: Placement of multiple mobile base stations in wireless sensor networks by Waleed Alsalih, Selim G. Akl and Hossam Hassanein. October 2007. 9 pages.
- PDF file
- PS file
2007-539: Molecular Codebreaking and Double Encoding by Cameron D. McKay, Joslynn G. Affleck, Naya Nagy, Selim G. Akl and Virginia K. Walker. September 2007. 20 pages.
- PDF file
- PS file
2007-538: Template Design of Discrete-Event Systems by Lenko Grigorov. August 2007. 28 pages.
- PDF file
- PS file
2007-537: Parallelism in quantum information processing defeats the Universal Computer by Marius Nagy and Selim G. Akl. June 2007. 28 pages.
- PDF file
- PS file
2007-536: Penalty Minimization in Scheduling a Set of Soft Real-Time Tasks by Arezou Mohammadi and Selim G. Akl. June 2007. 19 pages.
- PDF file
- PS file
2007-535: Number of Processors for Scheduling a Set of Real-Time Tasks: Upper and Lower Bounds by Arezou Mohammadi and Selim G. Akl. June 2007. 22 pages.
- PDF file
- PS file
2007-534: State Complexity of Basic Operations on Suffix-Free Regular Languages by Yo-Sub Han and Kai Salomaa. June 2007. 18 pages.
- PDF file
- PS file
2007-533: Deterministic Caterpillar Expressions by Kai Salomaa, Sheng Yu and Jinfeng Zan. May 2007. 15 pages.
- PDF file
- PS file
2007-532: A Survey of Analysis Models and Methods in Website Verification and Testing by Manar Alalfi, James R. Cordy and Thomas Dean. April 2007. 58 pages.
- PDF file
- PS file
2007-531: Authenticated Quantum Key Distribution without Classical Communication by Naya Nagy and Selim G. Akl. June 2007. 16 pages.
- PDF file
- PS file
2007-530: Quantum authenticated key distribution by Naya Nagy and Selim G. Akl. March 2007. 10 pages.
- PDF file
- PS file
2007-529: Detecting Anomalies in Graphs by David B. Skillicorn. January 2007. 19 pages.
- PDF file
- PS file
2006-528: A Survey on Multi-hop Cellular Networks by Hung Tam. December 2006. 35 pages.
- PDF file
- PS file
2006-527: A Dimensionality Reduction Technique for Collaborative Filtering by A. M. Roumani and David B. Skillicorn. November 2006. 19 pages.
- PDF file
- PS file
2006-526: Unconventional Computing Problems by Selim G. Akl. November 2006. 21 pages.
- PDF file
- PS file
2006-525: Conceptual Programming Models of Distributed Systems by Christopher Wolfe. November 2006. 47 pages.
- PDF file
- PS file
2006-524: Discovering Architectural Mismatch in Distributed Event-based Systems using Software Model Checking by L. Ruhai Cai, Jeremy S. Bradbury and Juergen Dingel. October 2006. 15 pages.
- PDF file
- PS file
2006-523: Aspects of Biomolecular Computing by Naya Nagy and Selim G. Akl. October 2006. 27 pages.
- PDF file
- PS file
2006-522: Metamodel-independent schema & data integration: Towards joining syntax and semantics in generic model management. by Zinovy Diskin. September 2006. 15 pages.
- PDF file
- PS file
2006-521: Model transformation via pull-backs: algebra vs. heuristics by Zinovy Diskin. September 2006. 18 pages.
- PDF file
- PS file
2006-520: Mutation Operators for Concurrent Java (J2SE 5.0) by Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. November 2006. 22 pages.
- PDF file
- PS file
2006-519: ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis by Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. October 2006. 9 pages.
- PDF file
- PS file
2006-518: Using Mutation for the Assessment and Optimization of Tests and Properties by Jeremy S. Bradbury. August 2006. 8 pages.
- PDF file
- PS file
2006-517: Sce Integration via Higher-Order Graphs by Zinovy Diskin, Juergen Dingel and Hongzhi Liang. August 2006. 23 pages.
- PDF file
- PS file
2006-516: Quantum Key Distribution Revisited by Marius Nagy and Selim G. Akl. June 2006. 21 pages.
- PDF file
- PS file
2006-515: Lower bounds for the transition complexity of NFAs by Mike Domaratzki and Kai Salomaa. June 2006. 15 pages.
- PDF file
- PS file
2006-514: All Or Nothing? Finding Grammars That Are More Than Context-Free, But Not Fully Contest-Sensitive by Sarah-Jane Whittaker. August 2006. 26 pages.
- PDF file
- PS file
2006-513: Iterated TGR languages: Membership problem and effective closure properties by Ian McQuillan, Kai Salomaa and Mark Daley. April 2006. 14 pages.
- PDF file
- PS file
2006-512: Computational Haplotype Analysis: An overview of computational methods in genetic variation study by Phil Hyoun Lee. April 2006. 48 pages.
- PDF file
- PS file
2006-511: Some Quotes Of Interest by Selim G. Akl. April 2006. 12 pages.
- PDF file
- PS file
2006-510: Accelerating Machines by Robert Fraser and Selim G. Akl. March 2006. 26 pages.
- PDF file
- PS file
2006-509: A data-driven protein-structure prediction algorithm by C.J. Robinson and David B. Skillicorn. March 2006. 82 pages.
- PDF file
- PS file
2006-508: Even Accelerating Machines Are Not Universal by Selim G. Akl. March 2006. 17 pages.
- PDF file
- PS file
2006-507: Coping with Decoherence: Parallelizing the Quantum Fourier Transform by Marius Nagy and Selim G. Akl. March 2006. 12 pages.
- PDF file
- PS file
2006-506: Extracting Latent Factors from Survey Data by David B. Skillicorn and A. Larsen. February 2006. 19 pages.
- PDF file
- PS file
2006-505: A Survey of Indexing and Retrieval of Multimodal Documents: Text and Images by Nawei Chen. February 2006. 40 pages.
- PDF file
- PS file
2006-504: Scheduling Algorithms for Grid Computing: State of the Art and Open Problems by Fangpeng Dong and Selim G. Akl. January 2006. 55 pages.
- PDF file
- PS file
2005-503: Prime decompositions of regular languages by Yo-Sub Han, Kai Salomaa and Derick Wood. October 2005. 12 pages.
- PDF file
- PS file
2005-501: On the Semantics of UML State Machines: Categorization and Comparison by Michelle L. Crane and Juergen Dingel. August 2005. 55 pages.
- PDF file
- PS file
2005-500: Quantum computing: Beyond the limits of conventional computation by Marius Nagy and Selim G. Akl. July 2005. 16 pages.
- PDF file
- PS file
2005-499: Scheduling algorithms for real-time systems by Arezou Mohammadi and Selim G. Akl. July 2005. 49 pages.
- PDF file
- PS file
2005-498: Detecting Unusual and Deceptive Communication in Email by P.S. Keila and David B. Skillicorn. June 2005. 12 pages.
- PDF file
- PS file
2005-497: Dealing with Complex Patterns in XML Processing by F.Y. Huang, C.B. Jay and David B. Skillicorn. June 2005. 17 pages.
- PDF file
- PS file
2005-496: Quantum Computation and Quantum Information by Marius Nagy and Selim G. Akl. May 2005. 63 pages.
- PDF file
- PS file
2005-495: On the importance of parallelism for quantum computation and the concept of a universal computer by Marius Nagy and Selim G. Akl. May 2005. 18 pages.
- PDF file
- PS file
2005-494: Programming with Heterogeneous Structures: Manipulating XML data using bondi by F.Y. Huang, C.B. Jay and David B. Skillicorn. March 2005. 15 pages.
- PDF file
- PS file
2005-493: Workspace Model Specification Version 1.0 by W. Greg Phillips and T. C. Nicholas Graham. March 2005. 46 pages.
- PDF file
- PS file
2005-492: The Myth of Universal Computation by Selim G. Akl. January 2005. 20 pages.
- PDF file
- PS file
2004-491: Emotions as a Metaphor for Altering Operational Behavior in Autonomic Computing by R. Chandarana and David B. Skillicorn. December 2004. 23 pages.
- PDF file
- PS file
2004-490: Parallel Computation and Avoidance of Chaos by Brendan J. Cordy and Selim G. Akl. December 2004. 9 pages.
- PDF file
- PS file
2004-489: The Athens System for Novel Information Discovery by N. Vats and David B. Skillicorn. October 2004. 51 pages.
- PDF file
- PS file
2004-488: Novel Information Discovery for Intelligence and Counterterrorism by David B. Skillicorn and N. Vats. September 2004. 13 pages.
- PDF file
- PS file
2004-486: A preliminary report on generalized LR parsing for Boolean grammars by Alexander Okhotin. July 2004. 23 pages.
- PDF file
- PS file
2004-485: Enforcing Resource-Aware Policies Using Run-time Monitoring by Natalie Alexandra Bowles. January 2004. 103 pages.
- PDF file
- PS file
2004-484: Applying Matrix Decompositions to Counterterrorism by David B. Skillicorn. May 2004. 47 pages.
- PDF file
- PS file
2004-483: Core-Selection Algorithms in Multicast Routing by Ayse Karaman and Hossam Hassanein. May 2004. 30 pages.
- PDF file
- PS file
2004-482: Extended Core-Based Framework for Delay-Constrained Group Communication by Ayse Karaman and Hossam Hassanein. April 2004. 34 pages.
- PDF file
- PS file
2004-481: Multi-Constrained Core Selection for Group Communications by Ayse Karaman and Hossam Hassanein. April 2004. 7 pages.
- PDF file
- PS file
2004-480: Inherently Parallel Geometric Problems by Selim G. Akl. April 2004. 19 pages.
- PDF file
- PS file
2004-479: On the Decidability of 2-Infix-Outfix Codes by Mike Domaratzki. April 2004. 8 pages.
- PDF file
- PS file
2004-478: A Boolean grammar for a simple programming language by Alexander Okhotin. March 2004. 34 pages.
- PDF file
- PS file
2004-477: Organizing Definitions and Formalisms for Dynamic Software Architectures by Jeremy S. Bradbury. March 2004. 49 pages.
- PDF file
- PS file
2004-476: Error-Correction and Finite Transductions by Christopher L. McAloney. March 2004. 42 pages.
- PDF file
- PS file
2004-475: An extension of recursive descent parsing for Boolean grammars by Alexander Okhotin. March 2004. 21 pages.
- PDF file
- PS file
2003-474: Track Drawings of Graphs with Constant Queue Number by Emilio Di Giacomo and H. Meijer. October 2003. 15 pages.
- PDF file
- PS file
2003-473: 3D Straight-line Drawings of k-trees by Emilio Di Giacomo, Giuseppe Liotta and H. Meijer. October 2003. 18 pages.
- PDF file
- PS file
2003-472: Decidability of Trajectory-Based Equations by Mike Domaratzki and Kai Salomaa. September 2003. 17 pages.
- PDF file
- PS file
2003-471: Splicing on Routes versus Shuffle and Deletion along Trajectories by Mike Domaratzki. September 2003. 8 pages.
- PDF file
- PS file
2003-470: Parallel computation and measurement uncertainty in nonlinear dynamical systems by Selim G. Akl and Weiguang Yao. September 2003. 15 pages.
- PDF file
- PS file
2003-469: Today.s DBMSs: How autonomic are they? by Said Elnaffar, Wendy Powley, Darcy Benoit and Patrick Martin. September 2003. 9 pages.
- PDF file
- PS file
2003-468: Conjunctive languages are closed under inverse homomorphism by Alexander Okhotin. August 2003. 25 pages.
- PDF file
- PS file
2003-467: Automatic transition trace analysis of parallel programs using VeriSoft by Juergen Dingel. June 2003. 11 pages.
- PDF file
- PS file
2003-466: An application of parallel computation to dynamical systems by Selim G. Akl and Weiguang Yao. June 2003. 10 pages.
- PDF file
- PS file
2003-465: Embee Performance Tests by Michelle L. Crane and Juergen Dingel. June 2003. 14 pages.
- PDF file
- PS file
2003-464: Deletion along Trajectories by Mike Domaratzki. March 2003. 15 pages.
- PDF file
- PS file
2003-463: Clusters Within Clusters: SVD and Counterterrorism by David B. Skillicorn. March 2003. 37 pages.
- PDF file
- PS file
2003-462: Tools for Collaborative Software Design by James Wu. January 2003. 63 pages.
- PDF file
- PS file
2002-461: Characterizing Computer Systems' Workloads by Said Elnaffar and Patrick Martin. December 2002. 66 pages.
- PDF file
- PS file
2002-460: A linear conjunctive grammar for the circuit value problem by Alexander Okhotin. September 2002. 35 pages.
- PDF file
- PS file
2002-459: One-Visit Caterpillar Tree Automata by Alexander Okhotin, Kai Salomaa and Mike Domaratzki. August 2002. 20 pages.
- PDF file
- PS file
2002-458: Using Competitive Learning to Handle Missing Values in Astrophysical Datasets by Roger A. Browse, David B. Skillicorn and S.M. McConnell. August 2002. 15 pages.
- PDF file
- PS file
2002-457: Computing in the presence of uncertainty: Disturbing the peace by Selim G. Akl. June 2002. 12 pages.
- PDF file
- PS file
2002-456: On a new family of automata by Alexander Okhotin. March 2002. 13 pages.
- PDF file
- PS file
2002-455: Linear conjunctive languages are closed under complement by Alexander Okhotin. January 2002. 9 pages.
- PDF file
- PS file
2001-454: Exchange of Software Representations Among Reverse Engineering Tools by Dean Jin. December 2001. 131 pages.
- PDF file
- PS file
2001-453: Discrete steepest descent in real time by Selim G. Akl. November 2001. 14 pages.
- PDF file
- PS file
2001-452: Outlier Detection Using Semi Discrete Decomposition by S.M. McConnell and David B. Skillicorn. November 2001. 0 pages.
- PDF file
- PS file
2001-451: The Case for Datacentric Grids by David B. Skillicorn. November 2001. 0 pages.
- PDF file
- PS file
2001-450: Motivating Computational Grids by David B. Skillicorn. November 2001. 0 pages.
- PDF file
- PS file
2001-449: A Generalization of the Genocchi Numbers with Applications to Enumeration of Finite Automata by Mike Domaratzki. September 2001. 11 pages.
- PDF file
- PS file
2001-448: Computing nearest neighbors in real time by Marius Nagy and Selim G. Akl. July 2001. 13 pages.
- PDF file
- PS file
2001-447: The Spider Model of Agents by F.Y. Huang and David B. Skillicorn. June 2001. 0 pages.
- PDF file
- PS file
2001-446: On the Relation Between Parallel Real-Time Computations and Sublogarithmic Space by Stefan D. Bruda and Selim G. Akl. June 2001. 15 pages.
- PDF file
- PS file
2001-445: Locating the median of a tree in real time by Marius Nagy and Selim G. Akl. May 2001. 17 pages.
- PDF file
- PS file
2001-444: The maximum flow problem: A real-time approach by Naya Nagy and Selim G. Akl. March 2001. 20 pages.
- PDF file
- PS file
2001-443: Superlinear performance in real-time parallel computation by Selim G. Akl. March 2001. 17 pages.
- PDF file
- PS file
2001-442: Parallelizing Boosting and Arcing by C. Yu and David B. Skillicorn. January 2001. 23 pages.
- PDF file
- PS file
2000-441: Real-Time Minimum Vertex Cover For Two-Terminal Series-Parallel Graphs by Marius Nagy and Selim G. Akl. October 2000. 0 pages.
- PDF file
- PS file
2000-440: An Application of Discrete-Event Theory to Truck Dispatching by S. Blouin, M. Guay and Karen Rudie. September 2000. 0 pages.
- PDF file
- PS file
2000-439: Recognition of Mathematics Notation via Computer Using Baseline Structure by Richard Zanibbi. August 2000. 95 pages.
- PDF file
- PS file
2000-438: Pursuit and Evasion on a Ring: An Infinite Hierarchy for Parallel Real-Time Systems by Stefan D. Bruda and Selim G. Akl. September 2000. 19 pages.
- PDF file
- PS file
2000-437: A method for incorporating knowledge and communication into decentralized discrete-event systems by S.L. Ricker and Karen Rudie. July 2000. 0 pages.
- PDF file
- PS file
2000-436: Parallel Inductive Logic in Data Mining by Y. Wang. February 2000. 0 pages.
- PDF file
- PS file
2000-435: Real-time computation: A formal definition and its applications by Stefan D. Bruda and Selim G. Akl. February 2000. 23 pages.
- PDF file
- PS file
1999-434: Parallel frequent set counting by David B. Skillicorn. December 1999. 13 pages.
- PDF file
- PS file
1999-433: Nonlinearity, maximization, and real-time computation by Selim G. Akl. November 1999. 17 pages.
- PDF file
- PS file
1999-432: A new framework for software development by David B. Skillicorn. September 1999. 0 pages.
- PDF file
- PS file
1999-431: Parallel maximum sum algorithms on interconnection networks by K. Qiu and Selim G. Akl. September 1999. 13 pages.
- PDF file
- PS file
1999-430: A new conceptual model for large-scale hypermedia by David B. Skillicorn. September 1999. 0 pages.
- PDF file
- PS file
1999-429: On the power of real--time Turing machines: k tapes are more powerful than k-1 tapes by Stefan D. Bruda and Selim G. Akl. July 1999. 8 pages.
- PDF file
- PS file
1999-428: Towards a meaningful formal definition of real--time computations by Stefan D. Bruda and Selim G. Akl. July 1999. 16 pages.
- PDF file
- PS file
1999-427: The Network of Tasks Model by David B. Skillicorn. May 1999. 0 pages.
- PDF file
- PS file
1999-426: Strategies for Parallel Data Mining by David B. Skillicorn. May 1999. 0 pages.
- PDF file
- PS file
1999-425: Architectures for Synchronous Groupware by G. Phillips. May 1999. 53 pages.
- PDF file
- PS file
1999-424: Parallel real-time numerical computation: Beyond speedup III by Selim G. Akl and Stefan D. Bruda. May 1999. 16 pages.
- PDF file
- PS file
1999-423: Parallel real-time cryptography: Beyond speedup II by Selim G. Akl and Stefan D. Bruda. May 1999. 13 pages.
- PDF file
- PS file
1999-422: Secure File Transfer: A Computational Analog to the Furniture Moving Paradigm by Selim G. Akl. March 1999. 17 pages.
- PDF file
- PS file
1999-421: Parallel real-time optimization: Beyond speedup by Selim G. Akl and Stefan D. Bruda. January 1999. 12 pages.
- PDF file
- PS file
1998-420: A Case Study in Real-Time Parallel Computation: Correcting Algorithms by Stefan D. Bruda and Selim G. Akl. December 1998. 0 pages.
- PDF file
- PS file
1998-419: Partial Match Queries Using Error Correcting Code Signatures by David B. Skillicorn. November 1998. 0 pages.
- PDF file
- PS file
1998-418: The Characterization of Data-Accumulating Algorithms by Stefan D. Bruda and Selim G. Akl. August 1998. 0 pages.
- PDF file
- PS file
1998-417: On the data-accumulating paradigm by Stefan D. Bruda and Selim G. Akl. April 1998. 0 pages.
- PDF file
- PS file
1998-416: A Study of Semi-Automated Program Construction by Homayoun Dayani-Fard, Janice I. Glasgow and David Alex Lamb. June 1998. 0 pages.
- PDF file
- PS file
1997-415: Novel data communication algorithms on hypercubes and related interconnection networks and their applications in computational geometry. by K. Qiu and Selim G. Akl. December 1997. 0 pages.
- PDF file
- PS file
1997-414: An analytic model for ATM network performance and its application to BSP by E. Karimi and David B. Skillicorn. December 1997. 0 pages.
- PDF file
- PS file
1997-413: A Framework for Parallel Data Mining Using Neural Networks by R. O. Rogers. November 1997. 0 pages.
- PDF file
- PS file
1997-412: On the Power of Some PRAM Models by Selim G. Akl and Lin Chen. November 1997. 0 pages.
- PDF file
- PS file
1997-411: Non-Intrusive Lightweight Agents for Information Management by S. Varma and David B. Skillicorn. October 1997. 0 pages.
- PDF file
- PS file
1997-410: A Rigorous Approach to Comparison of Representational Properties of Object-Oriented Analysis and Design Methods (PhD Dissertation) by Xiaobing Zhang. August 1997. 0 pages.
- PDF file
- PS file
1997-409: Data Model for Object-Oriented Design Metrics by Joe Raymond Abounader and David Alex Lamb. September 1997. 39 pages.
- PDF file
- PS file
1997-407: Efficient Sorting on the Star Graph Interconnection Network by Selim G. Akl and Tanya Wolff. June 1997. 21 pages.
- PDF file
- PS file
1997-406: Strategies for Parallelizing Supervised and Unsupervised Learning in Artificial Neural Networks Using the BSP Cost Model by R. O. Rogers and David B. Skillicorn. May 1997. 0 pages.
- PDF file
- PS file
1997-405: Towards an Action-Based Logic of Causality, Knowledge, Permission and Obligation by Glenn H. MacEwen, Xiao Jun Chen and Scott Knight. May 1997. 35 pages.
- PDF file
- PS file
1997-403: CASE Environments and MetaCASE Tools by H. Isazadeh and David Alex Lamb. February 1997. 0 pages.
- PDF file
- PS file
1996-402: Constraint Based Reasoning with Constraint Logic Programming and Array Based Logic by Christopher Turner. November 1996. 0 pages.
- PDF file
- PS file
1996-401: Applying the Theory-Model Paradigm by David Alex Lamb, Andrew Malton and Xiaobing Zhang. February 1996. 0 pages.
- PDF file
- PS file
1996-400: Building BSP Programs Using the Refinement Calculus by David B. Skillicorn. October 1996. 0 pages.
- PDF file
- PS file
1996-397: Bridging the Gap between the Design and Implementation of Hard Real-Time Systems by Homayoun Dayani-Fard and David Alex Lamb. March 1996. 0 pages.
- PDF file
- PS file
1996-396: The Text Encoding Initiative: Flexible and Extensible Document Encoding by David T. Barnard and Nancy M. Ide. 1996. 0 pages.
- PDF file
- PS file
1995-395: The Semantics of Viewcharts by Ayaz Isazadeh, David Alex Lamb and Glenn H. MacEwen. December 1995. 18 pages.
- PDF file
- PS file
1995-394: The Performance of SQL Queries on an X.500 Directory System by David Barrowman and Patrick Martin. November 1995. 28 pages.
- PDF file
- PS file
1995-393: A Management Information Repository for Distributed Applications Management by Patrick Martin. November 1995. 15 pages.
- PDF file
- PS file
1995-392: Information Capacity Preserving Translations of Relational Schemas Using Structural Transformation by Patrick Martin, James R. Cordy and Rateb Abu-Hamdeh. November 1995. 25 pages.
- PDF file
- PS file
1995-391: CORDS Schema Integration Environment by Patrick Martin and Wendy Powley. November 1995. 20 pages.
- PDF file
- PS file
1995-390: A Discrete-Event Systems Approach to Modeling Dextrous Manipulation by S.L. Ricker, N. Sarkar and Karen Rudie. November 1995. 28 pages.
- PDF file
- PS file
1995-389: A Review of Post-Factum Software Integration Methods by Ayaz Isazadeh, Glenn H. MacEwen and Andrew Malton. October 1995. 19 pages.
- PDF file
- PS file
1995-388: Viewcharts: A Behavioural Specification Language for Complex Systems by Ayaz Isazadeh, David Alex Lamb and Glenn H. MacEwen. October 1995. 16 pages.
- PDF file
- PS file
1995-386: Teaching Computer Science Using Hypermedia by David B. Skillicorn. May 1995. 15 pages.
- PDF file
- PS file
1995-384: Polylogarithmic Parallel Parsing by James P. Schmeiser and David T. Barnard. April 1995. 0 pages.
- PDF file
- PS file
1995-383: A Generalisation of Indexing for Parallel Document Search by David B. Skillicorn. March 1995. 13 pages.
- PDF file
- PS file
1995-381: A Parallel Tree Difference Algorithm by David B. Skillicorn. March 1995. 13 pages.
- PDF file
- PS file
1995-380: Parallel Implementation of Tree Skeletons by David B. Skillicorn. March 1995. 23 pages.
- PDF file
- PS file
1995-379: Structured Parallel Computation in Structured Documents by David B. Skillicorn. March 1995. 39 pages.
- PDF file
- PS file
1995-378: Producting a Top-Down Parse Order with Bottom-Up Parsing by James P. Schmeiser and David T. Barnard. March 1995. 6 pages.
- PDF file
- PS file
1995-376: Absorbing Boundary Conditions for the Schrodinger Equatioon by Thomas Fevens and Hong Jiang. February 1995. 35 pages.
- PDF file
- PS file
1995-375: Lessons Learned from Using SGML in the Text Encoding Initiative by David T. Barnard, Lou Burnard and C. Michael Sperberg-McQueen. February 1995. 0 pages.
- PDF file
- PS file
1995-374: On the Power of Arrays with Reconfigurable Optical Buses by Sandy Pavel and Selim G. Akl. January 1995. 0 pages.
- PDF file
- PS file
1995-373: Practical Use of Graph Rewriting by Dorothea Blostein, Hoda Fahmy and Ann Grbavec. January 1995. 40 pages.
- PDF file
- PS file
1995-372: Tree-to-Tree Correction for Document Trees by David T. Barnard, Gwen Clarke and Nicholas Duncan. January 1995. 44 pages.
- PDF file
- PS file
1994-371: A Simple Functional Language Compiler by David T. Barnard. October 1994. 26 pages.
- PDF file
- PS file
1994-370: A Theory-Model Core for Module Interconnection Languages by Thomas Dean and David Alex Lamb. October 1994. 30 pages.
- PDF file
- PS file
1994-366: Structured Concept Discovery: Theory and Methods by Darrell Conklin. June 1994. 33 pages.
- PDF file
- PS file
1994-363: A Framework for Optimal Communication on the Multidimensional Torus Network by Paraskevi Fragopoulou and Selim G. Akl. June 1994. 25 pages.
- PDF file
- PS file
1994-362: Optimal Communication Primitives on the Generalized Hypercube Network by Paraskevi Fragopoulou, Selim G. Akl and H. Meijer. June 1994. 25 pages.
- PDF file
- PS file
1994-360: A Semantics for Model-Based Spatial Reasoning by Janice I. Glasgow and Andrew Malton. May 1994. 36 pages.
- PDF file
- PS file
1993-355: The TXL Programming Language Syntax and Informal Semantics Version 7 by James R. Cordy and Ian H. Carmichael. 1993. 0 pages.
- PDF file
- PS file
1993-354: Edge-disjoint Spanning Trees on the Star Network with Applications to Fault Tolerance by Paraskevi Fragopoulou and Selim G. Akl. November 1993. 25 pages.
- PDF file
- PS file
1993-347: The Best-Effort Virtual-Time CSMA/CD Protocols with Run-Time Clairvoyancy Support by Sam K. Oh and Glenn H. MacEwen. 1993. 0 pages.
- PDF file
- PS file
1993-346: Optimal Communications Algorithms on Star Graphs Using Spanning Tree Constructions by Paraskevi Fragopoulou and Selim G. Akl. February 1993. 30 pages.
- PDF file
- PS file
1992-344: Generating Abstractors from Abstraction Functions by Lin Huang and David Alex Lamb. 1992. 0 pages.
- PDF file
- PS file
1992-343: The Best-Effort Virtual-Time CSMA/CD Protocols for Real-Time Systems by Sam K. Oh and Glenn H. MacEwen. 1992. 0 pages.
- PDF file
- PS file
1992-342: Practical Metaprogramming by James R. Cordy and Medha Shukla. 1992. 0 pages.
- PDF file
- PS file
1992-332: The Bird-Meertens Formalism as a Parallel Model by David B. Skillicorn. 1992. 0 pages.
- PDF file
- PS file
1992-331: Generating Abstractors for Abstract Data Types by Lin Huang and David Alex Lamb. 1992. 0 pages.
- PDF file
- PS file
1992-325: Toward Fault-Tolerant Adaptive Real-Time Distributed Systems by Sam K. Oh and Glenn H. MacEwen. 1992. 0 pages.
- PDF file
- PS file
1990-292: Relations In Software Manufacture by David Alex Lamb. 1990. 0 pages.
- PDF file
- PS file
1989-244: SPRUCE: A Framework for Software Restructuring by David Alex Lamb and D. Putnam. February 1989. 10 pages.
- PDF file
- PS file
1989-243: Abstraction Problems in Software Manufacture by David Alex Lamb. February 1989. 7 pages.
- PDF file
- PS file
1988-237: An Introduction to IDL by David Alex Lamb. November 1988. 67 pages.
- PDF file
- PS file
1988-233: Software Engineering: An Emerging Profession? by David Alex Lamb. September 1988. 6 pages.
- PDF file
- PS file
1987-197: Using Graph Deltas to Implement Programming Support Libraries by David Alex Lamb. August 1987. 8 pages.
- PDF file
- PS file
1979-88: STRUCT79: A Macro Package to Simulate High-Level Control Structures in MACRO-11 by M. Levison. November 1979. 28 pages.
- PDF file
- PS file