1192 search results - page 68 / 239 » Symbolic Query Exploration |
103
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
120
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...
121
Voted
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
127
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
PVLDB
2010
15 years 9 days ago
2010
This demonstration presents QueRIE, a recommender system that supports interactive database exploration. This system aims at assisting non-expert users of scientific databases by...