155
Voted
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
Tilings of the plane by translation show interesting regularity in the disposition of the tiles: in particular, we point out that in the case of a single tile, the obtained con gur...
187
Voted
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
153
Voted
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
We present a new proof that languages generated by (non extended) H systems with finite sets of axioms and rules are regular.
110
Voted
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
127
click to vote
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s...
171
click to vote
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
We give faster algorithms for two methods of reducing the number of states in nondeterministic finite automata. The first uses equivalences and the second uses preorders. We deve...