5766 search results - page 268 / 1154 » Reverse Engineering of Data |
218
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
161
click to vote
SIGIR
2010
ACM
15 years 6 months ago
2010
ACM
We present an approach for answering Entity Retrieval queries using click-through information in query log data from a commercial Web search engine. We compare results using click...
160
click to vote
MSR
2009
ACM
16 years 1 months ago
2009
ACM
The lifecycle of defects reports and enhancement requests collected in the Bugzilla database of the GNOME project provides valuable information on the evolution of the change requ...
156
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
In the context of the Bauhaus project, reengineering environments to support program understanding of legacy code are being developed. Bauhaus defines two formats to represent in...
205
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Semantics can be integrated in to search processing during both document analysis and querying stages. We describe a system that incorporates both, semantic annotations of Wikipedi...