1833 search results - page 62 / 367 » Mechanized Verification with Sharing |
90
Voted
KIVS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract: Although file and printer sharing services have been deployed almost ubiquitously for a long time as part of Microsoft Windows, only recent peer-to-peer applications pop...
110
click to vote
PLPV
2010
ACM
15 years 9 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
104
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
The prevalence of P2P technology contributes the ease of file-sharing, but it also brings some problems such as free-riding and copyright infringement. To solve these problems, ma...
90
Voted
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
WWW
2001
ACM
16 years 1 months ago
2001
ACM
The Resource Discovery Network (RDN) has taken a collaborative approach to the development of a network of subject gateways, each of which offers a variety of services to its subj...