56 search results - page 6 / 12 » Formal Verification of a Grid Resource Allocation Protocol |
ICNP
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper targets the problem of optimal resource allocation in overlay multicast, which poses both theoretical and practical challenges. Theoretically, resource allocation among...
ETFA
2006
IEEE
15 years 1 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
CCGRID
2004
IEEE
15 years 1 months ago
2004
IEEE
The notion of lambda-Grids posits plentiful collections of computing and storage resources richly interconnected by dedicated dense wavelength division multiplexing (DWDM) optical...
190
click to vote
AMCS
2011
14 years 4 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
156
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...