7986 search results - page 1314 / 1598 » Computational Science and its Applications |
237
click to vote
BROADNETS
2004
IEEE
15 years 11 months ago
2004
IEEE
We present a link layer protocol called the Multi-radio Unification Protocol or MUP. On a single node, MUP coordinates the operation of multiple wireless network cards tuned to no...
230
click to vote
CCGRID
2004
IEEE
15 years 11 months ago
2004
IEEE
Despite recent developments in higher-level middleware for the Grid supporting high level of ease-of-programming, hurdles for widespread adoption of Grids remain high, due to (1) ...
203
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
Resiliency to link failures in optical networks is becoming increasingly important due to the increasing data rate in the fiber. Path protection schemes attempt to guarantee a bac...
214
click to vote
CMSB
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
196
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...