2797 search results - page 275 / 560 » Code query by example |
113
click to vote
ISAAC
2004
Springer
15 years 9 months ago
2004
Springer
We initiate a new line of investigation into online property-preserving data reconstruction. Consider a dataset which is assumed to satisfy various (known) structural properties; e...
129
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
122
Voted
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
Systems software uses conditional compilation to manage crosscutting concerns in a very ļ¬ne-grained and efļ¬cient way, but at the expense of tangled and scattered conditional c...
149
Voted
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
149
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...