2637 search results - page 210 / 528 » Tool Supported Specification and Simulation of Distributed S... |
177
click to vote
CF
2008
ACM
15 years 8 months ago
2008
ACM
Volunteer Computing (VC) is a paradigm that takes advantage of idle cycles from computing resources donated by volunteers and connected through the Internet to compute large-scale...
143
click to vote
MTA
2006
15 years 6 months ago
2006
This paper proposes a new video distribution service: Video-In-Network (VIN). In VIN, videos are continuously circulating in an optical network where they can be easily retrieved ...
164
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
151
click to vote
SASO
2008
IEEE
16 years 12 days ago
2008
IEEE
The use of floating car data is an interesting method to monitor traffic. Vehicles act as local traffic sensors and data from individual vehicles is aggregated into higher-leve...
158
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
Visualization is essential for understanding the increasing volumes of digital data. However, the process required to create insightful visualizations is involved and time consumin...