1833 search results - page 188 / 367 » Mechanized Verification with Sharing |
186
click to vote
CSCW
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we introduce the concept of dynamically changing between centralized, replicated, and hybrid collaboration architectures. It is implemented by providing users a fun...
181
click to vote
VRST
2004
ACM
15 years 12 months ago
2004
ACM
We have integrated technologies related to virtual social interaction, e.g. virtual environments, visual simulations, and lifelike characters. In our previous efforts to integrate...
177
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
One of the main challenges in Grid computing is efficient allocation of resources (CPU-hours, network bandwidth, etc.) to the tasks submitted by users. Due to the lack of centrali...
197
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
Increasingly large-scale clusters of PC/WS continue to become majority platform in HPC field. Such a commodity cluster environment, there may be incremental upgrade due to severa...
198
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
— The peer-to-peer network for sharing information and data through direct exchange has emerged rapidly in recent years. The searching problem is a basic issue that addresses the...