2806 search results - page 47 / 562 » BML and Related Tools |
117
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
101
click to vote
DASFAA
2005
IEEE
15 years 7 months ago
2005
IEEE
In an increasingly multilingual world, it is critical that information management tools organically support the simultaneous use of multiple natural languages. A pre-requisite for ...
116
click to vote
ISM
2005
IEEE
15 years 7 months ago
2005
IEEE
In order to efficiently deal with the heterogeneity in the current and future multimedia ecosystem, it is necessary that content can be adapted in a format-agnostic manner. A fi...
103
click to vote
PKC
2005
Springer
15 years 7 months ago
2005
Springer
Coppersmith, Franklin, Patarin, and Reiter show that given two RSA cryptograms xe mod N and (ax + b)e mod N for known constants a, b ∈ ZN , one can compute x in O(e log2 e) ZN -o...
127
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...