718 search results - page 98 / 144 » Extraction of Structured Programs from Specification Proofs |
DEXAW
2003
IEEE
15 years 7 months ago
2003
IEEE
An essential problem for biologists is the processing and evaluation of BLAST results. We advocate the deployment of database technology and describe a userdriven tool, called Bla...
151
Voted
COMAD
2009
15 years 3 months ago
2009
The problem of information integration is discussed in the context of answering a query over the web. Querying the web requires that information from different web and other sourc...
129
Voted
CIKM
2006
Springer
15 years 6 months ago
2006
Springer
The wide adoption of XML has increased the interest of the database community on tree-structured data management techniques. Querying capabilities are provided through tree-patter...
119
click to vote
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...
93
Voted
CC
2007
Springer
15 years 8 months ago
2007
Springer
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...