1833 search results - page 88 / 367 » Mechanized Verification with Sharing |
ISCC
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper we propose a novel late join algorithm for distributed applications with a fully replicated architecture (e.g. shared whiteboards). The term `late join algorithm'...
107
Voted
VISSYM
2007
15 years 3 months ago
2007
We present TrustNeighborhoods, a security trust visualization for situational awareness on the Internet aimed at novice and intermediate users of a distributed file sharing system...
112
Voted
SNPD
2008
15 years 2 months ago
2008
Peer-to-Peer file sharing applications, which enable peers to establish multiple TCP connections between other peers to transfer data, pose new challenge to congestion control. Si...
114
Voted
ICIS
2001
15 years 2 months ago
2001
Despite substantial improvements in the last few years in software engineering and collaboration tools, coordination in large-scale software development continues to be problemati...
102
click to vote
COMCOM
2007
15 years 24 days ago
2007
We apply some of the existing web server redundancy techniques for high service availability and scalability to the relatively new IP telephony context. The paper compares various...