2797 search results - page 275 / 560 » Code query by example |
149
click to vote
ISAAC
2004
Springer
15 years 12 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...
154
Voted
SIGMOD
2010
ACM
15 years 11 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ļ...
153
click to vote
AOSD
2009
ACM
16 years 1 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...
191
click to vote
GPCE
2007
Springer
16 years 23 days 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 ...
212
click to vote
KBSE
2006
IEEE
16 years 19 days 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...