4516 search results - page 415 / 904 » Automated System Design for Availability |
159
click to vote
SIGOPS
2010
15 years 5 months ago
2010
We describe the design of, and experience with, Query, a monitoring system that supports the Akamai EdgePlatform. Query is a foundation of Akamai’s approach to administering its...
194
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
228
click to vote
RR
2010
Springer
15 years 5 months ago
2010
Springer
Role-based access control is a standard mechanism in information systems. Based on the role a user has, certain information is kept from the user even if requested. For ontologies ...
214
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...
194
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Mass spectrometry is an essential analytical technique for high-throughput analysis in proteomics and metabolomics. The development of new separation techniques, preci...