Results 261 to 270 of about 1,475,237 (325)

Blockchain Based Auditable Access Control For Business Processes With Event Driven Policies. [PDF]

open access: yesIEEE Trans Dependable Secure Comput
Akhtar A   +6 more
europepmc   +1 more source

Bideterministic Weighted Automata

open access: yesInformation and Computation, 2023
A finite automaton is called bideterministic if it is both deterministic and codeterministic -- that is, if it is deterministic and its transpose is deterministic as well. The study of such automata in a weighted setting is initiated.
Peter Kostolányi
semanticscholar   +6 more sources

Verification of Detectability for Unambiguous Weighted Automata

IEEE Transactions on Automatic Control, 2021
In this article, we deal with the detectability problem for unambiguous weighted automata (UWAs). The problem is to determine if, after a finite number of observations, the set of possible states is reduced to a singleton.
Alessandro Giua   +2 more
exaly   +2 more sources

Functional Closure Properties of Finite ℕ-weighted Automata [PDF]

open access: yesInternational Colloquium on Automata, Languages and Programming
We determine all functional closure properties of finite $\mathbb{N}$-weighted automata, even all multivariate ones, and in particular all multivariate polynomials.
Julian Dörfler, C. Ikenmeyer
semanticscholar   +2 more sources

Home - About - Disclaimer - Privacy