7139 search results - page 1014 / 1428 » Language Engineering in Practice |
171
Voted
CSMR
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes our experiences of applying dynamic analysis solutions on an industrial legacy application written in C, with the help of Aspect Orientation (AO). We use a nu...
212
click to vote
ICDE
2006
IEEE
16 years 29 days ago
2006
IEEE
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...
172
click to vote
IWPC
2006
IEEE
16 years 28 days ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
172
click to vote
KBSE
2006
IEEE
16 years 28 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
224
click to vote
KBSE
2006
IEEE
16 years 28 days 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...