3342 search results - page 270 / 669 » Automating Abstract Interpretation |
190
click to vote
FDL
2006
IEEE
16 years 19 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
172
click to vote
ICALT
2006
IEEE
16 years 19 days ago
2006
IEEE
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
153
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
143
click to vote
ICCBR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
171
click to vote
LPNMR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...