BIRTHDAY
2004
Springer
14 years 6 months ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 6 months ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 6 months 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...
BIRTHDAY
2004
Springer
14 years 6 months 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...
BIRTHDAY
2004
Springer
14 years 6 months 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.
BIRTHDAY
2004
Springer
14 years 6 months ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 6 months ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 6 months 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...
BIRTHDAY
2004
Springer
14 years 6 months 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...
BIRTHDAY
2004
Springer
14 years 6 months ago
2004
Springer