147 search results - page 28 / 30 » Reverse Engineering Using Graph Queries |
174
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
Dissemination systems are used to route information received from many publishers individually to multiple subscribers. The core of a dissemination system consists of an efficient...
143
click to vote
PEPM
2007
ACM
15 years 12 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
189
Voted
KBSE
2006
IEEE
15 years 11 months 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...
157
Voted
AIEDAM
2007
15 years 6 months ago
2007
Because of the increasing complexity of products and the design process, as well as the popularity of computer-aided documentation tools, the number of electronic and textual desi...
146
click to vote
WEBI
2010
Springer
15 years 3 months ago
2010
Springer
Web information is increasingly used as evidence in solving various problems, including record matching. However, acquiring web-based resources is slow and can incur other access c...