Graham, Nick - School of Computing, Queen's University (Kingston)

• Business Intelligence (BI) Developer Computer Methods International Corp. (CMiC) is a software Development firm specializing in
• Winter Adapted Games FirstYears Wanted!!!
• Back to Archives What to do about Kyoto
• Rapporteur's Report Paul Boothe
• Fraser Forum 03/08 25 25www.fraserinstitute.org The report is also a reminder that we
• Summary Report: The Future of Coal in Ontario?
• Inquiry@Queen's Undergraduate
• STUDENT RENTAL APPLICATION -SEPTEMBER LEASE (This is NOT a lease) Queen's University Community Housing
• 2009 Greenhouse Gas (GHG) Inventory Queen's University continues its commitment to reducing its GHG gas emissions and doing its part to
• Page 1 of 5 March 10, 2005
• Computer Methods International Corp. (CMiC) is a software Development firm specializing in enterprise financial and cost management systems designed for the
• Computer Methods International Corp. (CMiC) is a software Development firm specializing in enterprise financial and cost management systems designed for the
• Application Support Specialist Computer Methods International Corp. (CMiC) is a software Development firm
• Computing Graduate TA Application Winter 2007
• 2. Staff or Student number: Travel Report Information
• LLiisstt ooff PPeenngguuiinn RReeaaddeerrss iinn tthhee CChhiillddrreenn''ss aanndd YYoouunngg AAdduulltt CCoolllleeccttiioonn Title: Lisa in London
• WHERE NEXT? Toward a University Academic Plan Queen's School of Business Submission
• 1 of 10 16/04/2010 Masters of Management Graduate Diploma in Accounting Program
• Financial Update Report to the Board of Trustees
• 2009 2013 QUEEN'S SCHOOL OF BUSINESS
• Fuzzy Logic Overview Foundational Crisis of Mathematics
• A 12-MONTH, FULL-TIME PROGRAM IN INTERNATIONAL BUSINESS GLOBAL BUSINESS CONTENT. INTERNATIONAL EXPERIENCE.
• c s . q u e e n s u . c a w w w. c s . q u e e n s u . c a
• Java Developer Computer Methods International Corp. (CMiC) is a software Development firm specializing in
• HEART AND STROKE FOUNDATION Grant-in-Aid Workshop The Office of Research Services invites you to attend a workshop in preparation for this year's Heart and
• It's About Time: Confronting Latency in the Development of Groupware Systems
• Proposal to Change the Composition of the Aboriginal Council of Queen's University
• #1outsidetheU.S.BY NOVEMBER 2008
• We currently have an opening for an Application Developer. This position represents an excellent opportunity for a highly motivated and
• BACHELOR OF CANADA'S PREMIER UNDERGRADUATE BUSINESS PROGRAM
• R E S E A R C H G R O U P Executive Education
• REFERENCE LETTER REQUEST FORM
• The Human Factors of Consistency Maintenance in Multiplayer Computer Games
• Workspace Model Specification Version 1.0
• Bachelor of Commerce Placement Report -Class of 2010
• April 7, 2006 Dr. Robin Dawes, Dr. Janice Glasgow
• Queen's School of Business 90Years of Excellence It's unlikely that O.D. (Oscar) Skelton, celebrated as the father of
• Software Product Analysts Computer Methods International Corp. (CMiC) is a software Development firm
• TRANS-CANADA SLIMEWAYS: SLIME MOULD IMITATES THE CANADIAN TRANSPORT NETWORK
• School of Computing Environmental Health and Safety Manual
• 29 January 2009 Queen's University
• An Analytic Model for ATM Network Performance and its Application to BSP
• Technical Report No. 2004480 INHERENTLY PARALLEL GEOMETRIC
• Technical Report No. 2001443 Superlinear Performance
• Technical Report No. 2005--503 Prime Decompositions of Regular Languages
• Template Design of DiscreteEvent Systems Technical Report No. 2007538
• An extension of recursive descent parsing for Boolean grammars
• Technical Report No. 2009555 An Exploration of Semantic Formalisms Part II
• Structured Concept Discovery: Theory and Methods Darrell Conklin
• Technical Report No. 2002-457 COMPUTING IN THE PRESENCE OF
• Splicing on Routes versus Shuffle and Deletion along Trajectories
• Technical Report No. 97412 On the Power of Some PRAM Models
• Simulating the Performance of prioritized scheduling with buffer management for (1) differentiated services architecture using NS2
• Technical Report No. 2007537 Parallelism in quantum information processing defeats
• Technical Report No. 2001446 On the Relation Between Parallel RealTime Computations and
• Technical Report No. 99422 Secure File Transfer
• Bridging The Gap Between The Design and Implementation of Hard RealTime
• Technical Report No. 2003470 PARALLEL COMPUTATION AND
• Technical Report No. 2007534 State Complexity of Basic Operations on Su#xFree Regular
• Technical Report No. 2000435 RealTime Computation: A Formal Definition and its Applications \Lambda
• Constraint Based Reasoning with Constraint Logic Programming and Array Based Logic
• Technical Report No. 2009556 School of Computing
• Technical Report No. 2007540 School of Computing
• An Introduction to IDL David Alex Lamb
• Technical Report No. 2009554 An Exploration of Semantic Formalisms Part I
• A Survey on Software Clone Detection Research # Chanchal Kumar Roy and James R. Cordy
• A framework for parallel data mining using neural networks
• Technical Report No. 2006--507 Coping with Decoherence: Parallelizing the
• A New Conceptual Model for LargeScale Hypermedia D.B. Skillicorn 1
• Technical Report No. 2007--533 Deterministic Caterpillar Expressions \Lambda
• 3D Straightline Drawings of ktrees Technical Report 2003473, School of Computing, Queen's University
• Timed Automata for the Development of RealTime Md Tawhid Bin Waez
• Technical Report No. 2010568 ON THE IMPORTANCE OF BEING QUANTUM #
• Structured Parallel Computation in Structured Documents
• Linear conjunctive languages are closed under complement
• FaultTolerant Adaptive RealTime Distributed Systems Sam K. Oh and Glenn H. MacEwen
• Technical Report No. 2006--516 Quantum Key Distribution Revisited
• Technical Report 95376 Absorbing Boundary Conditions
• Generating Abstractors from Abstraction Functions 1 Lin Huang David Alex Lamb
• Technical Report No. 2006514 All Or Nothing?
• Technical Report No. 2005500 Quantum computing: Beyond the limits of
• Clusters Within Clusters: SVD and Counterterrorism D.B. Skillicorn
• A datadriven proteinstructure prediction algorithm Clinton J. Robinson David B. Skillicorn
• Technical Report No. 2005492 THE MYTH OF UNIVERSAL COMPUTATION \Lambda
• Recognition of Mathematics Notation via Computer Using Baseline Structure
• Technical Report No. 2007531 Authenticated Quantum Key Distribution
• Strategies for Parallelizing Supervised and Unsupervised Learning in Artificial Neural Networks Using the BSP
• Polylogarithmic Parallel Parsing of P(k) Languages \Lambda Technical Report 95384
• Tools for Collaborative Software Design wuj@cs.queensu.ca
• Technical Report No. 2006504 Scheduling Algorithms for Grid Computing
• Technical Report No. 2006--513 Iterated TGR Languages
• We gratefully acknowledge the financial support from IBM, CITO, and NSERC. Characterizing Computer Systems' Workloads
• Technical Report No. 97415 Novel Data Communication Algorithms on
• Subverting Knowledge Discovery in Adversarial Settings J. G. Dutrisac D.B. Skillicorn
• Software Engineering: An Emerging Profession?
• A Management Information Repository for Distributed Applications Management 1
• Partial Match Queries Using Error Correcting Code Signatures
• Technical Report No. 2006510 ACCELERATING MACHINES \Lambda
• Technical Report No. 94363 A FRAMEWORK FOR OPTIMAL COMMUNICATION ON THE MULTIDIMENSIONAL TORUS
• Technical Report No. 2007530 Quantum Authenticated Key Distribution \Lambda
• LTIX: A Compact Levelbased Tree to Index XML Databases
• Technical Report 2008551 Sensor Networks with Quantum Memories \Lambda
• Methods for Evaluating Software Architecture: A Banani Roy and T.C. Nicholas Graham
• The Semantics of Viewcharts Ayaz Isazadeh David A. Lamb Glenn H. MacEwen
• Today's DBMSs: How autonomic are they? Said Elnaffar, Wendy Powley, Darcy Benoit, and Pat Martin
• Generating Abstractors for Abstract Data Types 1 Lin Huang David Alex Lamb
• Emotions as a Metaphor for Altering Operational Behavior in Autonomic Computing
• XML Structural Indexes Samir Mohammad
• A Rigorous Approach to Comparison of Representational Properties of ObjectOriented
• Using Mutation for the Assessment and Optimization of Tests and Properties #
• Viewcharts: A Behavioral Specification Language for Complex Systems
• Technical Report No. 99428 Towards a Meaningful Formal Definition of
• Enforcing ResourceAware Policies Using Runtime Monitoring
• Technical Report No. 95374 On the Power of Arrays with
• Technical Report Number 2007536 Penalty Minimization in Scheduling a Set of Soft
• Organizing Definitions and Formalisms for Dynamic Software Architectures
• A Data Model for ObjectOriented Design Metrics
• Abstraction Problems in Software Manufacture David Alex Lamb
• Technical Report No. 2000438 Pursuit and Evasion on a Ring
• A Parallel Tree Difference Algorithm D.B. Skillicorn
• Workspace Model Specification Version 1.0
• A Simple Functional Language Compiler Technical Report 94371
• A linear conjunctive grammar for the circuit value problem
• ErrorCorrection and Finite Transductions Christopher L. McAloney
• Technical Report No. 2004490 Parallel Computation and Avoidance of Chaos #
• Technical Report No. 99424 Parallel RealTime Numerical Computation
• A DiscreteEvent Systems Approach to Modeling Dextrous Manipulation
• Modelbased generation of test cases for reactive systems Technical Report 2010573
• Motivating Computational Grids D.B. Skillicorn
• One-Visit Caterpillar Tree Automata A. Okhotin, K. Salomaa, M. Domaratzki
• A real-time extension to the #-calculus. Technical Report 2009-557
• Technical Report No. 98417 On the Data--Accumulating Paradigm
• Technical Report Number 2007535 Number of Processors for Scheduling a Set of
• A Cryptosystem Based on the Composition of Reversible Cellular Automata
• A method for incorporating knowledge and communication into decentralized discreteevent systems \Lambda
• Relations in Software Manufacture David Alex Lamb
• Di#LDA: Topic Evolution in Software Projects [Technical Report 2010574]
• The Case for Datacentric Grids D.B. Skillicorn
• Technical Report No. 2006--515 Lower Bounds for the Transition Complexity of NFAs
• Embee Performance Tests Technical Report 2003465
• Conjunctive languages are closed under inverse homomorphism
• A Boolean grammar for a simple programming language Alexander Okhotin
• Technical Report 2011580 # Time Indeterminacy,
• An improved cellular automata based algorithm for the 45convex hull problem
• Technical Report No. 2006511 SOME QUOTES OF INTEREST \Lambda
• Technical Report No. 2006508 EVEN ACCELERATING MACHINES ARE NOT
• Technical Report No. 99431 Parallel Maximum Sum Algorithms on Interconnection Networks \Lambda
• Technical Report No. 2006517 Scenario Integration via HigherOrder Graphs #
• Applying Matrix Decompositions to Counterterrorism D.B. Skillicorn
• Technical Report No.2006521 Model transformation via pullbacks: algebra vs.
• Using Competitive Learning to Handle Missing Values in Astrophysical Datasets
• The BestEffort VirtualTime CSMA/CD Protocols for RealTime Systems
• Parallel Frequent Set Counting D.B. Skillicorn
• Technical Report No. 95373 Practical Use of Graph Rewriting
• Technical Report No. 2005495 ON THE IMPORTANCE OF
• Decidability of Trajectory-Based Equations Technical Report 2003-472
• A Survey of Methods and Applications of Model Comparison
• Conceptual Programming Models of Distributed Christopher Wolfe
• A Survey on Requirements and Design Methods for Secure Software
• Discovering Architectural Mismatch in Distributed Eventbased Systems
• Computational Haplotype Analysis: An overview of computational methods
• Treetotree Correction for Document Trees Technical Report 95372 \Lambda
• Technical Report No. 99423 Parallel RealTime Cryptography
• The Text Encoding Initiative: Flexible and Extensible Document Encoding
• Producing a TopDown Parse Order with BottomUp Parsing \Lambda
• Using Graph Deltas to Implement Programming Support Libraries
• A Survey of Indexing and Retrieval of Multimodal Documents: Text and Images
• A Study of SemiAutomated Program Construction
• ### ### ### {1, 2, ..., k}# #x = #x 1 , x 2 , x 3 , ...##
• Technical Report No. 94362 OPTIMAL COMMUNICATION PRIMITIVES ON THE GENERALIZED HYPERCUBE NETWORK
• Technical Report No. 98420 A Case Study in Real--Time Parallel
• Programming with Heterogeneous Structures: Manipulating XML data using bondi
• Technical Report No. 2001444 The Maximum Flow Problem
• CORDS Schema Integration Environment * November 1995
• The Network of Tasks Model D.B. Skillicorn
• Lightweight Transformation of Data Models from SQL Schemas to UMLER Technical Report 2009565
• Applying the TheoryModel Paradigm David Alex Lamb
• Semantics of UML State Machines: Categorization and Comparison
• Observations on solving discreteevent control problems: patterns and strategies
• Track Drawings of Graphs with Constant Queue Number (Technical Report 2003474, School of Computing, Queen's University)
• A Design Recovery View JFace vs. SWT Technical Report 2009564
• Technical Report No. 2006 528 A SURVEY ON MULTIHOP CELLULAR NETWORKS +
• Mapping UML-RT State Machines to kiltera Technical Report 2010-569
• A Semantics for ModelBased Spatial Reasoning Janice Glasgow and Andrew Malton
• A preliminary report on generalized LR parsing for Boolean grammars
• Queen's University School of Computing
• ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis #
• Technical Report No. 2001445 Locating The Median Of A Tree In Real Time \Lambda
• Technical Report No. 2003466 AN APPLICATION OF PARALLEL
• Technical Report No. 2005496 QUANTUM COMPUTATION AND QUANTUM
• The BestEffort VirtualTime CSMA/CD Protocols with RunTime Clairvoyancy Support
• ModelBased Testing of Distributed Technical Report 2008548
• Dealing with Complex Patterns in XML Processing F.Y. Huang C. B. Jay D.B. Skillicorn
• Technical Report No. 2006523 Aspects of Biomolecular Computing \Lambda
• Technical Report No. 99429 On the Power of Real--Time Turing Machines: k
• Technical Report No. 2001448 Computing Nearest Neighbors In Real Time \Lambda
• Technical Report No. 99433 Nonlinearity, Maximization, and Parallel
• Technical Report No. 2000441 RealTime Minimum Vertex Cover
• Information Retrieval Methods in Concept Location
• Proceedings of the Doctoral Symposium at MODELS 2009 Technical Report 2009566
• Symbolic Execution of UMLRT State Machines Technical Report 2011578
• Technical Report 2008553 TimeSensitive Computational Models with a Dynamic
• Technical Report #2000-440 An Application of Discrete-Event Theory to Truck Dispatching
• Deletion along Trajectories Technical Report 2003464
• Parallel Inductive Logic in Data Mining
• A Dimensionality Reduction Technique for Collaborative Filtering
• A Generalization of the Genocchi Numbers with Applications to Enumeration of Finite Automata
• Nonorthogonal Range Searching: A Review Technical Report No. 2008546
• Novel Information Discovery for Intelligence and Counterterrorism D.B. Skillicorn N. Vats
• Technical Report No. 93346 OPTIMAL COMMUNICATION ALGORITHMS ON STAR GRAPHS USING SPANNING TREE
• Technical Report No. 93354 EDGEDISJOINT SPANNING TREES ON THE STAR NETWORK WITH APPLICATIONS TO FAULT
• Detecting Unusual and Deceptive Communication in Email P.S. Keila and D.B. Skillicorn
• The TXL Programming Language Syntax and Informal Semantics
• On a new family of automata Alexander Okhotin
• Technical Report 2007542 Key Distribution versus Key Enhancement in
• A Review of PostFactum Software Integration Methods
• The BirdMeertens Formalism as a Parallel Model
• Information Capacity Preserving Translations of Relational Schemas Using Structural Transformation \Lambda
• Molecular Codebreaking and Double Encoding
• Building BSP Programs Using the Refinement Calculus D.B. Skillicorn
• Technical Report No. 98418 The Characterization of DataAccumulating Algorithms \Lambda
• Mitigating and Monitoring Program Security Vulnerabilities 1
• CASE Environments and MetaCASE Tools Hosein Isazadeh
• Technical Report No. 2009561 TIME TRAVEL
• Outlier Detection Using SemiDiscrete Decomposition S. McConnell and D.B. Skillicorn
• Architectures for Synchronous Groupware W. Greg Phillips
• SPRUCE: A Framework for Software Restructuring David Alex Lamb
• Technical Report No. 97407 EFFICIENT SORTING ON THE STAR GRAPH
• Technical Report No.2006522 Metamodelindependent schema & data
• Strategies for Parallel Data Mining D.B. Skillicorn
• On the Decidability of 2InfixOutfix Codes School of Computing Technical Report 2004479
• Technical Report No. 2001453 DISCRETE STEEPEST DESCENT
• Exchange Of Software Representations Among Reverse Engineering Tools
• Detecting Anomalies in Graphs D.B. Skillicorn
• The Performance of SQL Queries to an X.500 Directory System \Lambda
• Technical Report No. 2010567 State Complexity of Unranked Tree Automata
• Mutation Operators for Concurrent Java (J2SE 5.0) #+ Technical Report 2006520
• Parallelizing Boosting and Bagging C. Yu D.B. Skillicorn
• Dept. of Computing and Inf. Sc. Technical Report 1997405 AN ACTIONBASED LOGIC OF CAUSALITY,
• Nonintrusive Lightweight Agents for Information Management
• A Comparative Study on the Reliability E#orts in
• A New Framework for Software Development D.B. Skillicorn 1
• Lessons Learned from Using SGML in the Text Encoding Initiative
• Teaching Computer Science Using Hypermedia D.B. Skillicorn
• Technical Report No. 2005499 Scheduling Algorithms for RealTime Systems #
• Technical Report No. 99421 Parallel RealTime Optimization
• Parallel Implementation of Tree Skeletons D.B. Skillicorn
• Abstract: The Theory--Model paradigm is a way of thinking about design methods. The theory of a method specifies categories of information and axioms about them. A
• Technical Report No. 2011577 State Complexity of Star and Quotient
• A Survey of Analysis Models and Methods in Website Verification and Testing
• Automatic transition trace analysis of parallel programs using VeriSoft
• A Generalisation of Indexing for Parallel Document Search
• The Spider Model of Agents F. Y. Huang D. B. Skillicorn
• Technical Report No. 2004-480 INHERENTLY PARALLEL GEOMETRIC
• XAMPP Installation Introducing XAMPP
• Abstraction Problems in Software Manufacture David Alex Lamb
• Deletion along Trajectories Technical Report 2003-464
• A framework for parallel data mining using neural networks
• Bader International Study Centre (BISC) August 2012
• A Boolean grammar for a simple programming language Alexander Okhotin
• Tools for Collaborative Software Design wuj@cs.queensu.ca
• Workspace Model Specification Version 1.0
• Technical Report No. 97-415 Novel Data Communication Algorithms on
• A Simple Functional Language Compiler Technical Report 94-371
• Technical Report No. 2005-499 Scheduling Algorithms for Real-Time Systems
• Parallel Inductive Logic in Data Mining
• Keeping It Together Workshop Series 2012 March & April 2012
• Technical Report No. 2006 -528 A SURVEY ON MULTI-HOP CELLULAR NETWORKS
• Technical Report No. 2005-496 QUANTUM COMPUTATION AND QUANTUM
• Technical Report No. 2000-435 Real-Time Computation: A Formal De nition and its Applications
• MBA, Master of Finance, Master of International Business, Graduate Diploma in Accounting
• Generating Abstractors for Abstract Data Types1 Lin Huang David Alex Lamb
• Fault-Tolerant Adaptive Real-Time Distributed Systems Sam K. Oh and Glenn H. MacEwen
• The Bird-Meertens Formalism as a Parallel Model
• klt RT
• S.Greaves GPHY101_Spring 2012 ( 1 of 10) (Winter 2012)
• Symbolic Execution of UML-RT State Machines Technical Report 2011-578
• Recognition of Mathematics Notation via Computer Using Baseline Structure
• Queen's University Staff Association TWO SALARY & BENEFITS MEETINGS
• Technical Report No. 2004-490 Parallel Computation and Avoidance of Chaos
• Mapping UML-RT State Machines to kiltera Technical Report 2010-569
• 1 | P a g e M a r c h 2 0 1 2 RReessoouurrcceess ffoorr LLeessssoonn PPllaannss
• The Conceptual Foundations of Web Development
• CISC 324 Winter 2012: Assignment 1 and the first two labs Due Thursday, Jan 19, in class
• Parallel Frequent Set Counting D.B. Skillicorn
• A New Framework for Software Development D.B. Skillicorn1
• Lessons Learned from Using SGML in the Text Encoding Initiative
• DESIGN ASPECTS OF MULTIPLAYER EXERGAMES [TECHNICAL REPORT 2010-571]
• 2010-11 fisc al year With the introduction of a Provost at Queen's, the role of the Principal
• Technical Report No. 2011-577 State Complexity of Star and Quotient
• ~ Book Lists & Content Area Connections~ For PJ Teachers Who Love to Read
• Technical Report No. 2001-446 On the Relation Between Parallel Real-Time Computations and
• Technical Report No. 97-412 On the Power of Some PRAM Models
• A Generalisation of Indexing for Parallel Document Search
• Technical Report No. 2006-526 UNCONVENTIONAL COMPUTING PROBLEMS?
• Non-intrusive Lightweight Agents for Information Management
• The Performance of SQL Queries to an X.500 Directory November 1995
• Technical Report No. 2001-444 The Maximum Flow Problem
• A Survey of Indexing and Retrieval of Multimodal Documents: Text and Images
• Technical Report No. 93-346 OPTIMAL COMMUNICATION ALGORITHMS ON STAR GRAPHS USING SPANNING TREE
• A Survey on Software Clone Detection Research Chanchal Kumar Roy and James R. Cordy
• Error-Correction and Finite Transductions Christopher L. McAloney
• Relations in Software Manufacture David Alex Lamb
• Computational Haplotype Analysis: An overview of computational methods
• Enforcing Resource-Aware Policies Using Run-time Monitoring
• Technical Report No. 2006-510 ACCELERATING MACHINES
• Subverting Knowledge Discovery in Adversarial Settings J. G. Dutrisac D.B. Skillicorn
• Language Specification Second Edition
• A Management Information Repository for Distributed Applications Management1
• The History of Sexuality History 464
• Technical Report No. 2007-534 State Complexity of Basic Operations on Suffix-Free Regular
• Technical Report No. 99-423 Parallel Real-Time Cryptography
• The Best-E ort Virtual-Time CSMA CD Protocols with Run-Time Clairvoyancy Support
• Technical Report No. 99-431 Parallel Maximum Sum Algorithms on Interconnection Networks
• A Dimensionality Reduction Technique for Collaborative Filtering
• Technical Report No. 97-407 EFFICIENT SORTING ON THE STAR GRAPH
• Methods for Evaluating Software Architecture: A Banani Roy and T.C. Nicholas Graham
• Technical Report No. 98-418 The Characterization of Data-Accumulating Algorithms
• Decidability of Trajectory-Based Equations Technical Report 2003-472
• Technical Report No. 99-429 On the Power of Real Time Turing Machines: k
• Technical Report No. 2009-554 An Exploration of Semantic Formalisms -Part I
• An Analytic Model for ATM Network Performance and its Application to BSP
• Library Research tips for ENGL 465 Mary Claire Vandenburg mcv@queensu.ca
• Using Graph Deltas to Implement Programming Support Libraries
• Ontario Universities Council on Quality Assurance
• Access Provided by Queen's University Library at 07/21/11 2:38PM GMT The ICE Approach
• Technical Report 95-376 Absorbing Boundary Conditions
• BC Reference number ISO/IEC 14882:1998(E)
• Page 1 of 5 March 10, 2005
• A preliminary report on generalized LR parsing for Boolean grammars
• On a new family of automata Alexander Okhotin
• Technical Report 2011-580 Time Indeterminacy,
• Dept. of Computing and Inf. Sc. Technical Report 1997-405 AN ACTION-BASED LOGIC OF CAUSALITY,
• Research Resources for Marketing January 2012
• David Weekly An Introduction to
• A method for incorporating knowledge and communication into decentralized discrete-event systems
• Exchange Of Software Representations Among Reverse Engineering Tools
• Model-Based Testing of Distributed Technical Report 2008-548
• Proceedings of the Doctoral Symposium at MODELS 2009 Technical Report 2009-566
• April 7, 2006 Dr. Robin Dawes, Dr. Janice Glasgow
• THE GOVERNANCE OF QUEEN'S UNIVERSITY Board of Trustees
• Conceptual Programming Models of Distributed Christopher Wolfe
• Co-Sponsored by Council of Ontario Universities
• A data-driven protein-structure prediction algorithm Clinton J. Robinson David B. Skillicorn
• ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis
• Strategies for Parallel Data Mining D.B. Skillicorn
• Faculty of Arts and Science -Department of Religion (for information)
• Technical Report No. 2005-495 ON THE IMPORTANCE OF
• Model-based generation of test cases for reactive systems Technical Report 2010-573
• A Review of Post-Factum Software Integration Methods
• Technical Report No. 2006-508 EVEN ACCELERATING MACHINES ARE NOT
• Technical Report No. 2003-470 PARALLEL COMPUTATION AND
• Building BSP Programs Using the Re nement Calculus D.B. Skillicorn
• Technical Report No. 2006-514 All Or Nothing?
• Applying Matrix Decompositions to Counterterrorism D.B. Skillicorn
• Polylogarithmic Parallel Parsing of Pk Languages Technical Report 95-384
• "!$#&%')(1032"25476839"9 @AB#7!DCEFFGH#IQP'R#!DFFST!VUXW!DGYGI`Gba
• A Data Model for Object-Oriented Design Metrics
• Technical Report No. 2010-567 State Complexity of Unranked Tree Automata
• Graduate Studies August 2012
• Technical Report No. 2006-504 Scheduling Algorithms for Grid Computing
• Strategies for Parallelizing Supervised and Unsupervised Learning in Arti cial Neural Networks Using the BSP
• Technical Report 2008-553 Time-Sensitive Computational Models with a Dynamic
• Constraint Based Reasoning with Constraint Logic Programming and Array Based Logic
• 3D Straight-line Drawings of k-trees Technical Report 2003-473, School of Computing, Queen's University
• Consecutive and Final Year Education August 2012
• Queen's University School of Computing
• Canadian Social History History 312
• Applying the Theory-Model Paradigm David Alex Lamb
• Technical Report No. 2006-517 Scenario Integration via Higher-Order Graphs
• Beyond Google: Companies, Industries and Research using the Library November 2011
• 1..k {1, 2, ..., k} x = x1, x2, x3, ...
• A Semantics for Model-Based Spatial Reasoning Janice Glasgow and Andrew Malton
• Today's DBMSs: How autonomic are they? Said Elnaffar, Wendy Powley, Darcy Benoit, and Pat Martin
• One-Visit Caterpillar Tree Automata A. Okhotin, K. Salomaa, M. Domaratzki
• Technical Report No. 2006 516 Quantum Key Distribution Revisited
• Conjunctive languages are closed under inverse homomorphism
• QUEEN'S UNIVERSITY AT KINGSTON STUDENT REPORT OF EXAMINATION TIMETABLE CONFLICT
• Structured Parallel Computation in Structured Documents
• Technical Report No. 2011-581 Managing Data-Intensive Workloads in a Cloud1,2
• Technical Report No. 2006 507 Coping with Decoherence: Parallelizing the
• Appendix E DOCUMENT1 PAGE 1 OF 3
• The Best-E ort Virtual-Time CSMA CD Protocols for Real-Time Systems
• Technical Report No. 99-421 Parallel Real-Time Optimization
• A Design Recovery View -JFace vs. SWT Technical Report 2009-564
• Technical Report No. 2000-441 Real-Time Minimum Vertex Cover
• Industry Analysis January 2012
• Extended Core-Based Framework Delay-Constrained Group Communication
• Technical Report No. 2009-561 TIME TRAVEL
• The Semantics of Viewcharts Ayaz Isazadeh David A. Lamb Glenn H. MacEwen
• Track Drawings of Graphs with Constant Queue Number (Technical Report 2003-474, School of Computing, Queen's University)
• Cataraqui Building, 92 Barrie Street Kingston, Ontario K7L 3N6 T: (613) 533-2668F: (613) 533-6770
• Honorary Degrees 2012 Report to Senate; February 28, 2012
• Generating Abstractors from Abstraction Functions1 Lin Huang David Alex Lamb
• Technical Report No. 2009-556 School of Computing
• Technical Report No. 2001-445 Locating The Median Of A Tree In Real Time
• CORDS Schema Integration Environment* November 1995
• Technical Report No. 95-373 Practical Use of Graph Rewriting
• Tree-to-tree Correction for Document Trees Technical Report 95-372
• The Text Encoding Initiative: Flexible and Extensible Document Encoding
• SPRUCE: A Framework for Software Restructuring David Alex Lamb
• Discovering Architectural Mismatch in Distributed Event-based Systems
• A Comparative Study on the Reliability Efforts in
• Principal's Written Report Queen's University Senate
• Programming with Heterogeneous Structures: Manipulating XML data using bondi
• Technical Report No. 2010-568 ON THE IMPORTANCE OF BEING QUANTUM
• School of Nursing August 2012
• Last Updated: 2/1/2012 Monthly Service
• Lightweight Transformation of Data Models from SQL Schemas to UML-ER Technical Report 2009-565
• 1 | J u n e 2 0 1 1 RReessoouurrcceess ffoorr EEnngglliisshh LLaanngguuaaggee LLeeaarrnneerrss
• Architectures for Synchronous Groupware W. Greg Phillips
• CASE Environments and MetaCASE Tools Hosein Isazadeh
• Simulating the Performance of prioritized scheduling with buffer management for(1)
• Technical Report No. 98-420 A Case Study in Real Time Parallel
• Software Engineering: An Emerging Profession?
• Technical Report No. 94-362 OPTIMAL COMMUNICATION PRIMITIVES ON THE GENERALIZED HYPERCUBE NETWORK
• Queen's University Senate Committee on Academic Procedures
• Timed Automata for the Development of Real-Time Md Tawhid Bin Waez
• Semantics of UML State Machines: Categorization and Comparison
• Parallel Implementation of Tree Skeletons D.B. Skillicorn
• Mitigating and Monitoring Program Security Vulnerabilities1
• Molecular Codebreaking and Double Encoding
• MODEL UNITED NATIONS Model UN conferences are simulations of
• Technical Report No. 93-354 EDGE-DISJOINT SPANNING TREES ON THE STAR NETWORK WITH APPLICATIONS TO FAULT
• Using Mutation for the Assessment and Optimization of Tests and Properties
• DiffLDA: Topic Evolution in Software Projects [Technical Report 2010-574]
• Observations on solving discrete-event control problems: patterns and strategies
• Information Retrieval Methods in Concept Location
• Detecting Anomalies in Graphs D.B. Skillicorn
• Queen's Event Services Event Assistant (Casual Position)
• Technical Report No. 99-428 Towards a Meaningful Formal De nition of
• Technical Report No. 99-422 Secure File Transfer
• Technical Report No. 2005-500 Quantum computing: Beyond the limits of
• Multi-Constrained Core Selection for Group Communications Aye Karaman and Hossam Hassanein
• A linear conjunctive grammar for the circuit value problem
• We gratefully acknowledge the financial support from IBM, CITO, and NSERC. Characterizing Computer Systems' Workloads
• Living the Collective Agreement Strategic Grievance
• Technical Report No. 2005-492 THE MYTH OF UNIVERSAL COMPUTATION
• Organizing Definitions and Formalisms for Dynamic Software Architectures
• Technical Report Number 2007-536 Penalty Minimization in Scheduling a Set of Soft
• A Study of Semi-Automated Program Construction
• Graduate Computing Society Constitution
• A Rigorous Approach to Comparison of Representational Properties of Object-Oriented
• An improved cellular automata based algorithm for the 45-convex hull problem
• On the Decidability of 2-Infix-Outfix Codes School of Computing Technical Report 2004-479
• Journal Profiles in Education Queen's University Library supports the Open Access movement that encourages scholars to publish their
• Teaching Computer Science Using Hypermedia D.B. Skillicorn
• Connecting PHP and PHP Loops
• Relational Universal Index Structure for Evaluating XML Twig Queries
• Viewcharts: A Behavioral Speci cation Language for Complex Systems
• Medicine Term 2 Drug Literature Evaluation Search Strategy Assignment The goal for this assignment is for you to learn to use the pharmacology information resources and to formulate
• CISC 324 --Winter 2012 Assignment 2 due Thursday February 2, in lecture
• Abstract: The TheoryModel paradigm is a way of thinking about design methods. The theory of a method specifies categories of information and axioms about them. A
• Technical Report No. 2000-438 Pursuit and Evasion on a Ring
• March Break Open House We are pleased that you have come to visit our
• Emotions as a Metaphor for Altering Operational Behavior in Autonomic Computing
• Technical Report No.2006-522 Metamodel-independent schema & data
• Information Capacity Preserving Translations of Relational Schemas Using Structural Transformation
• Technical Report No. 2007-530 Quantum Authenticated Key Distribution
• The Network of Tasks Model D.B. Skillicorn
• Mutation Operators for Concurrent Java (J2SE 5.0) Technical Report 2006-520
• Technical Report No. 95-374 On the Power of Arrays with
• School of Business -Commerce August 2012
• An extension of recursive descent parsing for Boolean grammars
• Novel Information Discovery for Intelligence and Counterterrorism D.B. Skillicorn N. Vats
• A New Conceptual Model for Large-Scale Hypermedia D.B. Skillicorn1
• Technical Report No. 99-433 Nonlinearity, Maximization, and Parallel
• Structured Concept Discovery: Theory and Methods Darrell Conklin
• The Comprehensive LATEX Symbol List Scott Pakin
• Detecting Unusual and Deceptive Communication in Email P.S. Keila and D.B. Skillicorn
• Swarm Intelligence: Concepts, Models and Applications
• Bridging The Gap Between The Design and Implementation of Hard Real-Time
• Embee Performance Tests Technical Report 2003-465
• Template Design of Discrete-Event Systems Technical Report No. 2007-538
• A Cryptosystem Based on the Composition of Reversible Cellular Automata
• WAG 2012 BUDDY Information & Recruitment
• Technical Report No. 2006-511 SOME QUOTES OF INTEREST
• Practical Metaprogramming James R. Cordy
• Motion for Senate February 28, 2012
• CISC 324, Winter 2012 Assignment 4 due Tuesday, March 13, in lecture
• Step 1: Identify a "What question or
• School of Medicine August 2012
• CISC 324, Winter 2012 Assignment 3, due Thursday, February 16, in lecture
• Welcome to the Faculty of Engineering and Applied Science We've put together a program that we hope you'll find both informative and engaging.
• Technical Report No. 99-424 Parallel Real-Time Numerical Computation
• Crusades & Latin Kingdoms History 430
• Routing for Wireless Multi Hop Networks Unifying and Distinguishing Features
• Social History of Modern Canada History 458
• Technical Report No. 98-417 On the Data Accumulating Paradigm
• Winter Adapted Games FirstYears Wanted!!!
• Senate Committee on Non-Academic Discipline Annual Report to Senate 2010-2011
• Core-Selection Algorithms in Multicast Routing Aye Karaman and Hossam Hassanein
• This research report is meant to be an illustration of research activity at Queen's University and is based on information provided to the Office of the Vice-Principal (Research) by the Faculties.
• Queen's University School of Music
• The Spider Model of Agents F. Y. Huang D. B. Skillicorn
• A Discrete-Event Systems Approach to Modeling Dextrous Manipulation
• XML Structural Indexes Samir Mohammad
• LTIX: A Compact Level-based Tree to Index XML Databases
• Be a WAG 2012 Buddy! Application Deadline: FRI DEC 2nd
• Faculty of Arts and Science August 2012
• Technical Report 2007-542 Key Distribution versus Key Enhancement in
• An Introduction to IDL David Alex Lamb
• Non-orthogonal Range Searching: A Review Technical Report No. 2008-546
• 16 First date to apply to graduate in SOLUS for Fall 2012 Convocation (TENTATIVE) 23-27 Special and supplemental examination period for Winter 2012 courses
• Technical Report No. 2003-466 AN APPLICATION OF PARALLEL
• Technical Report No. 94-363 A FRAMEWORK FOR OPTIMAL COMMUNICATION ON THE MULTIDIMENSIONAL TORUS
• The TXL Programming Language Syntax and Informal Semantics
• Queen's Timelines for Compliance with the Accessibility Standards for Customer Service (Regulation 429/07) Preparation of a multi-year
• A Survey of Analysis Models and Methods in Website Verification and Testing
• Linear conjunctive languages are closed under complement
• A Survey on Requirements and Design Methods for Secure Software
• Searching ABI/Inform Global and PsycINFO: Find the Evidence library.queensu.ca
• Parallelizing Boosting and Bagging C. Yu D.B. Skillicorn
• T e c h n i c a l R e p o r t N o . 7 9 -B B S T R U C T T 9
• The Athens System for Novel Information Discovery N. Vats D.B. Skillicorn
• A Survey of Methods and Applications of Model Comparison
• Partial Match Queries Using Error Correcting Code Signatures
• Technical Report No. 2007-540 School of Computing
• Technical Report Number 2007-535 Number of Processors for Scheduling a Set of
• Producing a Top-Down Parse Order with Bottom-Up Parsing
• Technical Report No. 2001-443 Superlinear Performance
• Technical Report No.2006-521 Model transformation via pull-backs: algebra vs.
• Technical Report No. 2007-537 Parallelism in quantum information processing defeats
• Dealing with Complex Patterns in XML Processing F.Y. Huang C. B. Jay D.B. Skillicorn
• Engineering & Applied Science August 2012
• A Parallel Tree Di erence Algorithm D.B. Skillicorn
• Motion for Senate February 28, 2012
• Fuzzy Logic Overview Foundational Crisis of Mathematics
• Technical Report No. 2001-448 Computing Nearest Neighbors In Real Time
• Technical Report No. 2009-555 An Exploration of Semantic Formalisms -Part II