1404 search results - page 115 / 281 » Increasing Concurrency in Databases Using Program Analysis |
104
Voted
JCS
1998
15 years 1 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
156
Voted
PPDP
2010
Springer
15 years 18 days ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
147
Voted
IIE
2008
15 years 2 months ago
2008
Because of the potential for methodological reviews to improve practice, this article presents the results of a methodological review, and meta-analysis, of kindergarten through 12...
191
click to vote
RTA
2011
Springer
14 years 5 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
123
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: We present 2DDB, a bioinformatics solution for storage, integration and analysis of quantitative proteomics data. As the data complexity and the rate with which it is ...