5863 search results - page 186 / 1173 » On Model-Checking of P Systems |
285
Voted
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Due to peer instability and time-varying peer upload bandwidth availability in live peer-to-peer (P2P) streaming channels, it is preferable to provision adequate levels ...
207
click to vote
BIRTHDAY
2010
Springer
15 years 12 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
158
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— One practical limitation of structured peer-to-peer (P2P) networks is that they are frequently subject to Sybil attacks: malicious parties can compromise the network by generat...
190
click to vote
MDM
2005
Springer
16 years 16 days ago
2005
Springer
Mobile terminals (cellular phones, PDAs, palmtops etc.) emerge as a new class of small-scale, ad-hoc service providers that share data and functionality via mobile web services’...
203
click to vote
CCR
2005
15 years 7 months ago
2005
Content distribution using the P2P paradigm has become one of the most dominant services in the Internet today. Most of the research effort in this area focuses on developing new ...