1833 search results - page 188 / 367 » Mechanized Verification with Sharing |
208
Voted
CSCW
2004
ACM
16 years 15 days 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...
206
click to vote
VRST
2004
ACM
16 years 15 days 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...
192
click to vote
ATAL
2004
Springer
16 years 15 days 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...
217
click to vote
CCGRID
2003
IEEE
16 years 11 days 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...
221
click to vote
GCC
2003
Springer
16 years 9 days 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...