Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Tofino"”.
-
Consideration of climate change risks for ecotourism operators in business planning in Tofino, British Columbia
… Implementing an exploratory study of Tofino, British Columbia and its sustainable ecotourism operators, this research examines the levels of consideration of climate change risks within these business operations.
-
Formally Verifying a Programmable Network Switch
… demonstrated through a case-study analysis of a Tofino-like programmable switch that we call VeriSwit. Our approach hinges on modularity, whereby the system is split into interconnected units, each equipped with its specification and proof, oblivious to the internals of other units. We conduct …