2638 search results - page 416 / 528 » A Framework for Automatic Debugging |
SP
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
120
click to vote
HT
2005
ACM
15 years 7 months ago
2005
ACM
We describe Eureka, a file system search engine that takes into account the inherent relationships among files in order to improve the rankings of search results. The key idea b...
102
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
Left unchecked, the fundamental drive to increase peak performance using tens of thousands of power hungry components will lead to intolerable operating costs and failure rates. H...
106
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
120
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
A key limitation of current Web services standards is the inability to differentiate service instances at runtime using (nonfunctional) qualities of services (QoS). Such differe...