5863 search results - page 751 / 1173 » On Model-Checking of P Systems |
180
Voted
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we define the Weak Mutual Exclusion (WME) problem. Analogously to classical Distributed Mutual Exclusion (DME), WME serializes the accesses to a shared resource. Di...
173
click to vote
ESCIENCE
2007
IEEE
16 years 1 months ago
2007
IEEE
Service-Oriented Architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are...
154
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
—The observed performance by individual peers in BitTorrent can be simply measured by their average download rate. While it is often stated that the observed peer-level performan...
141
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
– Many P2P-based storage systems use distributed indexing service for searching documents. There are two security issues when the nodes providing the index service are compromise...
184
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Both peer-to-peer and sensor networks have the fundamental characteristics of node churn and failures. Peers in P2P networks are highly dynamic, whereas sensors are not dependable...