BIRTHDAY
2004
Springer
13 years 10 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
13 years 10 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
13 years 10 months ago
2004
Springer
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
BIRTHDAY
2004
Springer
13 years 10 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
13 years 10 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
13 years 10 months ago
2004
Springer
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Two models for gene assembly in ciliates have been proposed and investigated in the last few years. The DNA manipulations postulated in the two models are very different: one mode...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
del based on (overlap) graphs. The latter is more abstract because the translation of legal strings into overlap graphs is not injective. In this paper we consider and solve the ov...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
