772 search results - page 99 / 155 » Ontology Based Information Integration Using Logic Programmi... |
96
Voted
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
112
Voted
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
There is a critical need to design and develop tools tract away the fundamental complexity of XML based Web services specifications and toolkits, and provide an elegant, intuitive...
112
Voted
ERLANG
2008
ACM
15 years 4 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
128
Voted
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
242
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...