1134 search results - page 215 / 227 » Distributed Proving in Access-Control Systems |
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
This paper focuses on a task allocation problem, particularly in cases where the task is to find a solution to a search problem or a constraint satisfaction problem. If the searc...
101
click to vote
ICDCS
2010
IEEE
15 years 3 months ago
2010
IEEE
—Cloud computing is enabling groups of academic collaborators, groups of business partners, etc., to come together in an ad-hoc manner. This paper focuses on the group-based data...
CF
2005
ACM
15 years 1 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
107
Voted
GRID
2006
Springer
14 years 11 months ago
2006
Springer
This paper considers resource allocation algorithms for processing streams of events on computational grids. For example, financial trading applications are executed on large comp...
83
Voted
ISCI
2007
14 years 11 months ago
2007
Selectivity estimation is an important step of query optimization in a database management system, and multidimensional histogram techniques have proved promising for selectivity ...