Browsing Engineering (Faculty of) by Author "Tysowski, Piotr"
Now showing items 1-2 of 2
-
Executable Model Synthesis and Property Validation for Message Sequence Chart Specifications
Tysowski, Piotr (University of Waterloo, 2000)Message sequence charts (MSC’s) are a formal language for the specification of scenarios in concurrent real-time systems. The thesis addresses the synthesis of executable object-oriented design-time models from MSC ... -
Highly Scalable and Secure Mobile Applications in Cloud Computing Systems
Tysowski, Piotr (University of Waterloo, 2013-04-25)Cloud computing provides scalable processing and storage resources that are hosted on a third-party provider to permit clients to economically meet real-time service demands. The confidentiality of client data outsourced ...