4061 search results - page 742 / 813 » Framework Evolution Tool |
140
click to vote
ATVA
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
101
Voted
IACR
2011
14 years 1 months ago
2011
The Isomorphism of Polynomials (IP) is one of the most fundamental problems in multivariate public key cryptography (MPKC). In this paper, we introduce a new framework to study th...
120
click to vote
SIGMOD
2012
ACM
13 years 4 months ago
2012
ACM
We consider the problem of finding related tables in a large corpus of heterogenous tables. Detecting related tables provides users a powerful tool for enhancing their tables wit...
166
click to vote
SIGMOD
2012
ACM
13 years 4 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
133
click to vote
ICDE
2012
IEEE
13 years 4 months ago
2012
IEEE
— A key step in validating a proposed idea or system is to evaluate over a suitable data set. However, to this date there have been no useful tools for researchers to understand ...