1394 search results - page 249 / 279 » Executing Nested Queries |
227
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
180
click to vote
VLDB
2001
ACM
16 years 2 months ago
2001
ACM
Smartcards are the most secure portable computing device today. They have been used successfully in applications involving money, proprietary and personal data (such as banking, h...
193
click to vote
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
Query generators producing sequences of SQL statements are embedded in many applications. As the execution time of such sequences is often far from optimal, their optimization is ...
198
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
As applications within and outside the enterprise encounter increasing volumes of unstructured data, there has been renewed interest in the area of information extraction (IE) ? t...
113
click to vote
PODS
2008
ACM
16 years 2 months ago
2008
ACM
In the rank join problem, we are given a set of relations and a scoring function, and the goal is to return the join results with the top K scores. It is often the case in practic...