7597 search results - page 1401 / 1520 » On the design of metric relations |
153
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
189
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
—There exists numerous Grid middleware to develop and execute programs on the computational Grid, but they still require intensive work from their users. BitDew is made to facili...
180
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
207
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Motivated by applications in cryptography, we consider a generalization of randomness extraction and the related notion of privacy amplification to the case of two cor...
164
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Finding the most interesting correlations among items is essential for problems in many commercial, medical, and scientific domains. Much previous research focuses on finding ...