5718 search results - page 43 / 1144 » Modeling Rule Precision |
138
click to vote
ADC
2006
Springer
15 years 8 months ago
2006
Springer
Web information extraction is a fundamental issue for web information management and integrations. A common approach is to use wrappers to extract data from web pages or documents...
104
click to vote
EJIS
2007
15 years 1 months ago
2007
Conceptual modeling represents a domain independently of implementation considerations for purposes of understanding the problem at hand and communicating about it. However, diffe...
244
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
107
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...