1833 search results - page 233 / 367 » Mechanized Verification with Sharing |
195
click to vote
HPDC
2003
IEEE
15 years 11 months ago
2003
IEEE
Grid computing is concerned with the sharing and coordinated use of diverse resources in distributed "virtual organizations.” The dynamic and multi-institutional nature of ...
153
click to vote
ICAT
2003
IEEE
15 years 11 months ago
2003
IEEE
A force display system is a kind of these robot systems, which share pepole with the space while they are working, and which directly touch and display force-sences to their users...
170
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
Sensor networks have recently gained popularity for a wide spectrum of applications. When performing monitoring tasks in hostile environments, security requirements become critical...
145
click to vote
SSDBM
2003
IEEE
15 years 11 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...
194
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
The need for sharing is well known in a large number of distributed collaborative applications. These applications are difficult to develop for wide area (possibly mobile) networ...