Now showing items 1-4 of 4

    • A Formalization of an Extended Object Model Using Views 

      Nova, Luis C. M. (University of Waterloo, 2000)
      Reuse of software designs, experience and components is essential to making substantial improvements in software productivity, development cost, and quality. However, the many facets of reuse are still rarely used in ...
    • Mapping Template Semantics to SMV 

      Lu, Yun (University of Waterloo, 2004)
      Template semantics is a template-based approach to describing the semantics of model-based notations, where a pre-defined template captures the notations' common semantics, and parameters specify the notations' distinct ...
    • A modular notation for monitoring network systems 

      Raghav, Prashant (University of Waterloo, 2015-07-15)
      Design of next generation network systems with predictable behavior in all situations poses a significant challenge. Monitoring of events happening at different points in a distributed environment can detect the occurrence ...
    • Monitoring and Enforcement of Safety Hyperproperties 

      Agrawal, Shreya (University of Waterloo, 2015-10-30)
      Certain important security policies such as information flow characterize system-wide behaviors and are not properties of individual executions. It is known that such security policies cannot be expressed in trace-based ...


      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