Results 191 to 200 of about 63,385 (219)
Some of the next articles are maybe not open access.
Linear cellular automata and Fischer automata
Parallel Computing, 1997We study the sizes of minimal finite state machines associated with linear cellular automata. In particular, we construct a class of binary linear cellular automata whose corresponding minimal automata exhibit full exponential blow-up. These cellular automata have Hamming distance 1 to a permutation automaton.
openaire +1 more source
From Word Automata to Tree Automata
2008 The 9th International Conference for Young Computer Scientists, 2008Finite tree automata have now become a live research field both because of its features as a theoretical model of computation and its practical value in the parsing, query and verification of semi-structured data, such as XML. The aim of this work is to create a link between the already well-developed finite state automata over words and the finite ...
openaire +1 more source
2012
We propose a novel framework for reliably enforcing security in distributed systems. Service automata monitor the execution of a distributed program and enforce countermeasures before a violation of a security policy can occur. A key novelty of our proposal is that security is enforced in a decentralized though coordinated fashion.
Richard Gay +2 more
openaire +1 more source
We propose a novel framework for reliably enforcing security in distributed systems. Service automata monitor the execution of a distributed program and enforce countermeasures before a violation of a security policy can occur. A key novelty of our proposal is that security is enforced in a decentralized though coordinated fashion.
Richard Gay +2 more
openaire +1 more source
Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice
ACM Computing Surveys, 2023Johan Arcile, Etienne André
exaly
Converting Binary Automata to Unary Automata
J. Autom. Lang. Comb.Journal of Automata, Languages and Combinatorics, Volume 30, Numbers 1-3, 2025, 95 ...
openaire +1 more source
Learning Automata-Based Multiagent Reinforcement Learning for Optimization of Cooperative Tasks
IEEE Transactions on Neural Networks and Learning Systems, 2021Zhen Zhang, Dongqing Wang, Junwei Gao
exaly
Corrections to “A Menagerie of Timed Automata”
ACM Computing Surveys, 2017Jeroen J A Keiren, Rance Cleaveland
exaly