1833 search results - page 202 / 367 » Mechanized Verification with Sharing |
190
click to vote
IWCMC
2006
ACM
16 years 14 days ago
2006
ACM
Inter-vehicular communication is fast emerging as a popular application for mobile ad-hoc networks. Content distribution in Vehicular Ad-Hoc Networks (VANET) is particularly chall...
148
click to vote
C5
2005
IEEE
16 years 4 days ago
2005
IEEE
The authors have some experience in building virtual worlds for education purposes, in archaeology and for language learning. However, many mainstream world-building applications ...
164
click to vote
ICAS
2005
IEEE
16 years 3 days ago
2005
IEEE
Queue management, bandwidth share, and congestion control are very important to both robustness and fairness of the Internet. In this article, we investigate the problem of provid...
175
click to vote
SBACPAD
2005
IEEE
16 years 2 days ago
2005
IEEE
Executing long-running parallel applications in Opportunistic Grid environments composed of heterogeneous, shared user workstations, is a daunting task. Machines may fail, become ...
161
click to vote
HVC
2005
Springer
16 years 1 days ago
2005
Springer
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...