2944 search results - page 375 / 589 » On Well Quasi-orders on Languages |
170
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe ITS4, a tool for statically scanning security-critical C source code for vulnerabilities. Compared to other approaches, our scanning technique stakes out a new middle ...
179
click to vote
ACSC
2000
IEEE
15 years 11 months ago
2000
IEEE
A significant obstacle to the development of intelligent natural language processing systems is the lack of rich knowledge bases containing representations of world knowledge. Fo...
177
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
161
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...
173
click to vote
ADBIS
2000
Springer
15 years 11 months ago
2000
Springer
When dealing with large quantities of clauses, the use of persistent knowledge is inevitable, and indexing methods are essential to answer queries efficiently. We introduce PerKMan...