3400 search results - page 227 / 680 » tools 2008 |
159
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
162
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—A key issue in maintaining Linux device drivers is the need to update drivers in response to evolutions in Linux internal libraries. Currently, there is little tool support for ...
167
click to vote
SCAM
2008
IEEE
16 years 29 days ago
2008
IEEE
The usefulness and usability of programming tools (for example, languages, libraries, and frameworks) may greatly impact programmer productivity and software quality. Ideally, the...
190
click to vote
SEAA
2008
IEEE
16 years 29 days ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
162
click to vote
AAAI
2008
15 years 9 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....