Browsing Engineering (Faculty of) by Subject "abstraction"

Now showing items 1-2 of 2

For Every Line Casts A Shadow

Allman, Siobhan (University of Waterloo, 2020-01-08)

The blank page represents a void, an open area of space that holds the potential for architecture. Through a process of drawing points, lines and planes, the void of the paper is cut to become an arrangement of curated, ...
Predictive Runtime Verification of Stochastic Systems

Babaee Cheshmeahmadrezaee, Reza (University of Waterloo, 2019-08-13)

Runtime Verification (RV) is the formal analysis of the execution of a system against some properties at runtime. RV is particularly useful for stochastic systems that have a non-zero probability of failure at runtime. ...