5863 search results - page 236 / 1173 » On Model-Checking of P Systems |
145
click to vote
DBISP2P
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. In this paper, we describe the design of PIRS, a peer-topeer information retrieval system. PIRS satisfies many of the goals of P2P computing in a way that other P2P IR s...
218
click to vote
FMICS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
235
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
170
click to vote
SYNASC
2005
IEEE
16 years 23 days ago
2005
IEEE
— A simulator for conformon-P systems is presented together with an initial study of an evolution program optimising processes described by conformon-P systems.