5863 search results - page 104 / 1173 » On Model-Checking of P Systems |
103
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
P2P
2005
IEEE
15 years 6 months ago
2005
IEEE
P2P
2005
IEEE
15 years 6 months ago
2005
IEEE
P2PKM
2004
15 years 2 months ago
2004
IICS
2005
Springer
15 years 6 months ago
2005
Springer
P2P systems draw large communities of users and create most of the Internet traffic. Two typical P2P myths are (1) that P2P is about sharing of audio and video content and (2) that...