303 search results - page 53 / 61 » Automata on Gauss Words |
91
Voted
COMCOM
2000
15 years 6 days ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
94
Voted
INFORMATICALT
2000
15 years 5 days ago
2000
Abstract. We consider in this paper so called simple bracketed languages having special limitations. They are sometimes used for the definitions of some grammatical structures of p...
ENTCS
2002
15 years 5 days ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
86
Voted
JGS
2002
15 years 1 days ago
2002
A simple preliminary model of gentrification is presented. The model is based on an irregular cellular automaton architecture drawing on the concept of proximal space, which is wel...
104
click to vote
TCS
2008
14 years 12 months ago
2008
Several mathematical distances between probabilistic languages have been investigated in the literature, motivated by applications in language modeling, computational biology, syn...