5863 search results - page 242 / 1173 » On Model-Checking of P Systems |
200
click to vote
COCOON
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
160
Voted
MCU
2007
15 years 8 months ago
2007
Abstract. We consider a new variant of the halting condition in P systems, i.e., a computation in a P system is already called halting if not for all membranes a rule is applicable...
169
click to vote
FUIN
2002
15 years 7 months ago
2002
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
187
click to vote
CJ
2006
15 years 7 months ago
2006
Abstract. Uncertainty is an inherent property of all living systems. Curiously enough, computational models inspired by biological systems do not take, in general, under considerat...
147
click to vote
CISIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In this paper, we integrate the traditional finitestate automata (words, or string based) into the membrane computing paradigm, as previous work prevalently concentrat...