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 3 of 3 for “"Causal Dependency"”.
-
On a Self-Organizing MANET Event Routing Architecture with Causal Dependency Awareness
… and reliability properties when P/S events are causally dependent is an open problem in ad hoc networks. In this thesis, we present, evaluate benefits of, and compare with past work, an architecture design that can effectively support timely and reliable delivery of events and causally related …
-
A state-oriented, partial-order model and logic for distributed systems verification
… is by synchronization. Enriched by a global, causal dependency relation among the Mpm-states that is partial , the disjoint union of CMpms comprise a sum machine . It is shown that the set of all global states of the product machine of CMpms is obtainable dynamically from the local Mpm-states …
-
Securing the software-defined networking control plane by using control and data dependency techniques
… of SDN can be enhanced using control and data dependency techniques that track information flow and enable understanding of application composability, control and data plane decoupling, and control plane insight. We support that statement through investigation of the various ways in which an …