Browsing Mathematics (Faculty of) by Subject "Validation"
Now showing items 1-2 of 2
-
Design and Validation of a Context-Aware Publish-Subscribe Model
(University of Waterloo, 2015-12-21)A system is said to be context-aware if it can extract, interpret and use contextual information to adapt its functionality and enhance its utility. Context awareness allows the application to gain sensitivity for many ... -
Traffic Rule Checking and Validation
(University of Waterloo, 2024-02-15)This thesis presents a comprehensive exploration of traffic rule verification systems for diverse junction types, addressing key challenges in formalizing rules, determining violation thresholds, and covering a wide spectrum ...