3181 search results - page 527 / 637 » Automated Deployment Support for Parallel Distributed Comput... |
171
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
152
click to vote
PERCOM
2005
ACM
16 years 2 months ago
2005
ACM
The mass market of wireless devices is pushing towards service provisioning over dense Mobile Ad-hoc NETworks (MANETs), i.e., limited spatial regions, such as university campuses,...
158
click to vote
ISCAPDCS
2003
15 years 4 months ago
2003
Grid technologies and infrastructures facilitate distributed resource sharing and coordination in dynamic, heterogeneous, multi-institutional environments. A replica catalog is a ...
142
click to vote
PERCOM
2005
ACM
16 years 2 months ago
2005
ACM
Mobile Ad hoc NETworks (MANETs) conveniently complement infrastructure-based networks, allowing mobile nodes to spontaneously form a network and share their services, including br...
117
click to vote
TAICPART
2006
IEEE
15 years 9 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...