1833 search results - page 138 / 367 » Mechanized Verification with Sharing |
153
click to vote
IOR
2008
15 years 4 months ago
2008
We study a stochastic network that consists of a set of servers processing multiple classes of jobs. Each class of jobs requires a concurrent occupancy of several servers while be...
147
click to vote
SIGMETRICS
2004
ACM
15 years 10 months ago
2004
ACM
Traditional Peer-to-Peer (P2P) networks do not provide service differentiation and incentive for users. Consequently, users can easily access information without contributing any ...
117
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
Although Gnutella is the most popular Peer-to-Peer protocol for file sharing, drawbacks are often found in searching and locating files. They include that (1) a limited number of ...
111
click to vote
EXPERT
2008
15 years 4 months ago
2008
nition of a common model that abstracted the shared knowledge (ontology); a formalism for representing such knowledge (Knowledge Interchange Format, or KIF); and a transport-indepe...
142
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Data sharing on public servers has become a popular service on the Internet, in which users can store and share data with other users through public servers. However, because the ...