1833 search results - page 291 / 367 » Mechanized Verification with Sharing |
134
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
Within the current Internet, autonomous ISPs implement bilateral agreements, with each ISP establishing agreements that suit its own local objective to maximize its profit. Peerin...
153
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Cloud computing uses virtualization technologies to offer a non-shared use rental of computer resources with publicly accessible worker nodes. However, unlike Grid computing, Cloud...
131
Voted
ANTSW
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we study the cooperative transport of a heavy object by a group of robots towards a goal. We investigate the case in which robots have partial and noisy knowledge of...
168
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently Peer-to-Peer networks (P2P) have gained great attention and popularity. One key challenging aspect in a P2P resource sharing environment is an efficient searching algorit...
130
Voted
CLADE
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents the design, development and evaluation of a prototype peer-to-peer collaboratory for imaging, analyzing, and seamlessly sharing tissue microarrays (TMA), corre...