UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.

Now showing items 296-315 of 1575

    • Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems 

      Hossain, Tamjid; Day, Nancy A. (IEEE, 2021-09)
      Modelling systems abstractly shows great promise to uncover bugs early in system development. The formal language Alloy provides the means of writing constraints abstractly, but lacks explicit constructs for describing ...
    • Dash+: Extending Alloy with Replicated Processes for Modelling Transition Systems 

      Hossain, Tamjid (University of Waterloo, 2022-09-27)
      Modelling systems abstractly shows great promise to uncover bugs early in system development. The formal language Alloy provides the means of writing constraints abstractly but lacks explicit constructs for describing ...
    • DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy 

      Serna, Jose; Day, Nancy A.; Farheen, Sabria (IEEE, 2017-09-04)
      We present DASH, a new language for describing formal behavioural models of requirements. DASH combines the ability to write abstract, declarative transitions (as in Z or Alloy) with a labelled control state hierarchy (as ...
    • Dash: Declarative Behavioural Modelling in Alloy 

      Serna, Jose (University of Waterloo, 2019-01-25)
      An abstract model is a representation of the fundamental characteristics and properties of a system, and its purpose is to provide feedback to stakeholders about the correctness of the system during the early stages of ...
    • DASH: Declarative Modelling with Control State Hierarchy (Preliminary Version) 

      Serna, Jose; Day, Nancy A.; Esmaeilsabzali, Shahram (University of Waterloo, 2018)
      We present a new language, called DASH, for describing formal behavioural models. DASH combines common modelling constructs to describe abstractly both data and control in an integrated manner. DASH uses the Alloy language ...
    • Data Augmentation For Text Classification Tasks 

      Tamming, Daniel (University of Waterloo, 2020-08-12)
      Thanks to increases in computing power and the growing availability of large datasets, neural networks have achieved state of the art results in many natural language process- ing (NLP) and computer vision (CV) tasks. ...
    • Data Flow Analysis in the Presence of Correlated Calls 

      Rapoport, Marianna (University of Waterloo, 2014-08-19)
      This thesis presents a technique to improve the precision of data-flow analyses on object-oriented programs in the presence of correlated calls. We say that two method calls are correlated if they are polymorphic (have ...
    • Data Protection in Big Data Analysis 

      Shafieinejad, Masoumeh (University of Waterloo, 2021-08-30)
      "Big data" applications are collecting data from various aspects of our lives more and more every day. This fast transition has surpassed the development pace of data protection techniques and has resulted in innumerable ...
    • Data Science for Software Maintenance 

      Inozemtseva, Laura Michelle McLean (University of Waterloo, 2017-04-26)
      Maintaining and evolving modern software systems is a difficult task: their scope and complexity mean that seemingly inconsequential changes can have far-reaching consequences. Most software development companies attempt ...
    • Data Structures for Fast Access Control in ECM Systems 

      Wu, Zhiping (University of Waterloo, 2014-08-08)
      While many access control models have been proposed, little work has been done on the efficiency of access control systems. Because the access control sub-system of an Enterprise Content Management (ECM) system may be a ...
    • Data Structuring Problems in the Bit Probe Model 

      Rahman, Mohammad Ziaur (University of Waterloo, 2007-09-25)
      We study two data structuring problems under the bit probe model: the dynamic predecessor problem and integer representation in a manner supporting basic updates in as few bit operations as possible. The model of computation ...
    • Data-Driven Estimation of Soiling Loss and Optimal Cleaning Schedule for a Utility-Scale PV Plant 

      Bora, Abhinav (University of Waterloo, 2023-04-19)
      Soiling of panels in solar power plants can reduce production levels. In this thesis, we estimate the effect of soiling on power production and efficiency, as well as the gains from cleaning. Power data from a plant in ...
    • Data-Driven Models: An Alternative Discrete Hedging Strategy 

      Nian, Ke (University of Waterloo, 2023-08-16)
      Options hedging is a critical problem in financial risk management. The prevailing approach in financial derivative pricing and hedging has been to first assume a parametric model describing the underlying price dynamics. ...
    • Data-intensive Scheduling 

      MENG, XIAO (University of Waterloo, 2019-09-19)
      In many modern data management scenarios, we encounter tasks, operations or computational phases that are data-intensive where the sheer volume of data proves to be overwhelming to handle and becomes a performance bottleneck. ...
    • Database High Availability using SHADOW Systems 

      Pan, Xin (University of Waterloo, 2014-03-21)
      Various High Availability DataBase systems (HADB) are used to provide high availability. Pairing an active database system with a standby system is one commonly used HADB techniques. The active system serves read/write ...
    • Decay Makes Supervised Predictive Coding Generative 

      Sun, Wei (University of Waterloo, 2020-08-19)
      Predictive Coding is a hierarchical model of neural computation that approximates backpropagation using only local computations and local learning rules. An important aspect of Predictive Coding is the presence of feedback ...
    • Decentralized Runtime Verification of LTL Specifications in Distributed Systems 

      Hasabelnaby, Mennatallah (University of Waterloo, 2016-09-26)
      Runtime verification is a lightweight automated formal method for specification-based run- time monitoring as well as testing of large real-world systems. While numerous techniques exist for runtime verification of sequential ...
    • Decentralized Web Search 

      Haque, Md Rakibul (University of Waterloo, 2012-06-18)
      Centrally controlled search engines will not be sufficient and reliable for indexing and searching the rapidly growing World Wide Web in near future. A better solution is to enable the Web to index itself in a decentralized ...
    • Decidability and Algorithmic Analysis of Dependent Object Types (DOT) 

      Hu, Zhong Sheng (University of Waterloo, 2019-08-28)
      Dependent Object Types, or DOT, is a family of calculi developed to study the Scala programming language. These calculi have path dependent types as a feature, and potentially intersection types, union types and recursive ...
    • Decidability and k-Regular Sequences 

      Krenn, Daniel; Shallit, Jeffrey (Elsevier, 2020-05)
      In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from considering • lower and upper bounds on growth rate; in particular boundedness, • images, • ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages