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 4 of 4 for “"process calculus"”.
-
A Compositional Semantic Theory for Service Composition
… service composition is based on Abstract Timed Process Calculus. Core to this approach is compositionality – a Web service model must be semantically decomposable to allow component manipulation. An Abstract Timed Process Calculus allows elegant modelling of component systems through a variety …
-
Verifying Cryptographic Security Implementations in C Using Automated Model Extraction
… of that path to extract a model expressed in a process calculus similar to the one used by the CryptoVerif tool. The symbolic execution uses a novel algorithm that allows symbolic variables to represent bitstrings of potentially unknown length to model incoming protocol messages. The extracted …
-
A calculus for composable, computational cryptography
… of the UC framework. Our main contribution is a process calculus, dubbed the Interactive Lambda Calculus (ILC). ILC faithfully captures the computational model underlying UC—interactive Turing machines (ITMs)—by adapting ITMs to a subset of the π-calculus through an affine typing discipline. In …
-
StreamOS: distributed operating system for correlated multi-modal streaming applications
… Provides a model for activities and stream processing in 3D TI Systems. Kratos: An Activity Management and Detection Layer provides an activity detection system based on a Support Vector Machine for 3D TI System metadata. This layer provides an initial basis to address some of the challenges …