5863 search results - page 253 / 1173 » On Model-Checking of P Systems |
176
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The Internet has become a cost-effective vehicle for software development and release, particular in the free software community. Given the free nature of this software, there a...
191
click to vote
JUCS
2002
15 years 6 months ago
2002
: A purely communicative variant of P systems was considered recently, based on the trans-membrane transport of couples of chemicals. When using both symport rules (the chemicals p...
181
click to vote
MCU
2004
15 years 8 months ago
2004
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
164
click to vote
FUIN
2006
15 years 7 months ago
2006
Abstract. With inspiration from the economic reality, where numbers are basic entities to work with, we propose a genuinely new kind of P systems, where numerical variables evolve,...
194
click to vote
FUIN
2006
15 years 7 months ago
2006
We introduce a new variant of membrane systems where the rules are directly assigned to membranes and, moreover, every membrane carries an energy value that can be changed during a...