1058 search results - page 67 / 212 » Fault-Tolerant Resource Reasoning |
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
CSB
2005
IEEE
14 years 3 months ago
2005
IEEE
Federal agencies, academia and industries have invested heavily in the development of structural and biothermodynamic data. However, the data are still largely distributed over se...
POLICY
2004
Springer
14 years 3 months ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
CP
2004
Springer
14 years 1 months ago
2004
Springer
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among thes...
CCGRID
2010
IEEE
13 years 11 months ago
2010
IEEE
We propose a dynamic auction mechanism to solve the allocation problem of computation capacity in the environment of cloud computing. Truth-telling property holds when we apply a s...