Sciweavers

5863 search results - page 104 / 1173
» On Model-Checking of P Systems
Sort
View
ATVA
2008
Springer
144views Hardware» more  ATVA 2008»
15 years 2 months ago
Tests, Proofs and Refinements
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...
Sriram K. Rajamani
P2P
2005
IEEE
15 years 6 months ago
Self-Organization in Peer-to-Peer Systems
Hermann de Meer, Christian Koppen
IICS
2005
Springer
15 years 6 months ago
Towards P2P Information Systems
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...
Magnus Kolweyh, Ulrike Lechner