75 search results - page 4 / 15 » Keynote Address: .QL for Source Code Analysis |
AICCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
IGARSS
2009
13 years 5 months ago
2009
This paper presents experiments with the ORFEO ToolBox (OTB) developed by the CNES in the context of the Brussels project ARMURS about map updating. Depending on the availability ...
SEKE
2005
Springer
14 years 28 days ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...
TON
2010
13 years 2 months ago
2010
Abstract--Every congestion control protocol operating in wireless networks is potentially faced with two major challenges of performance degradation. These sources are (a) the coup...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...