5863 search results - page 891 / 1173 » On Model-Checking of P Systems |
229
click to vote
CNSR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—In recent years, Peer-to-Peer (P2P) streaming systems experienced tremendous growth and became one of the largest bandwidth consumer on Internet. PPLive, one of the most...
209
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Epidemic models based on nonlinear differential equations have been extensively applied in a variety of systems as diverse as infectious outbreaks, marketing, diffusion of belie...
173
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—Deploying home access points (AP) is hard. Untrained users typically purchase, install, and configure a home AP with very little awareness of wireless signal coverage a...
171
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
190
click to vote
STORAGESS
2005
ACM
16 years 6 days ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...