6171 search results - page 155 / 1235 » The FrameNet Data and Software |
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
FM
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
JSS
2007
13 years 9 months ago
2007
The success of any product depends on the skills and competence of the product manager. This article evaluates the relevance of good product management on the success of a product...
ET
2002
13 years 9 months ago
2002
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
CLUSTER
2002
IEEE
13 years 9 months ago
2002
IEEE
Grid Portals, based on standard web technologies, are emerging as important and useful user interfaces to computational and data Grids. Grid Portals enable Virtual Organizations, c...