Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Rabehaja, Tahiry"'
There has been considerable advancement in the use of blockchain for trust management in large-scale dynamic systems. In such systems, blockchain is mainly used to store the trust score or trust-related information of interactions among the various e
Externí odkaz:
http://arxiv.org/abs/2206.05676
Allocation of resources and their control over multiple organisations is challenging. This is especially true for a large-scale and dynamic system like the Internet of Things (IoT). One of the core issues in such a system is the provision of secure a
Externí odkaz:
http://arxiv.org/abs/2110.01162
There has been tremendous interest in the development of formal trust models and metrics through the use of analytics (e.g., Belief Theory and Bayesian models), logics (e.g., Epistemic and Subjective Logic) and other mathematical models. The choice o
Externí odkaz:
http://arxiv.org/abs/2106.04885
Publikováno v:
Logical Methods in Computer Science, Volume 15, Issue 1 (March 29, 2019) lmcs:3851
Hidden Markov Models, HMM's, are mathematical models of Markov processes with state that is hidden, but from which information can leak. They are typically represented as 3-way joint-probability distributions. We use HMM's as denotations of probabili
Externí odkaz:
http://arxiv.org/abs/1708.01688
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Jones' rely-guarantee calculus for shared variable concurrency is extended to include probabilistic behaviours. We use an algebraic approach which combines and adapts probabilistic Kleene algebras with concurrent Kleene algebra. Soundness of the alge
Externí odkaz:
http://arxiv.org/abs/1409.0582
We give a new true-concurrent model for probabilistic concurrent Kleene algebra. The model is based on probabilistic event structures, which combines ideas from Katoen's work on probabilistic concurrency and Varacca's probabilistic prime event struct
Externí odkaz:
http://arxiv.org/abs/1310.2320
Publikováno v:
EPTCS 117, 2013, pp. 97-115
We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of probabilistic automat
Externí odkaz:
http://arxiv.org/abs/1306.2697
We propose a generalisation of concurrent Kleene algebra \cite{Hoa09} that can take account of probabilistic effects in the presence of concurrency. The algebra is proved sound with respect to a model of automata modulo a variant of rooted $\eta$-sim
Externí odkaz:
http://arxiv.org/abs/1301.7153
Publikováno v:
In Future Generation Computer Systems October 2019 99:593-608
