787 search results - page 87 / 158 » Source code analysis and manipulation |
EPIA
2003
Springer
14 years 3 months ago
2003
Springer
We describe how to build a network intrusion detection sensor by slightly modifying NASA’s CLIPS source code introducing some new features. An overview of the system is presente...
TSE
1998
13 years 9 months ago
1998
An important step in the development of dependable systems is the validation of their fault tolerance properties. Fault injection has been widely used for this purpose, however wi...
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—Planning a complex software modification task imposes a high cognitive burden on developers, who must juggle navigating the software, understanding what they see with respect t...
ICCAD
1996
IEEE
14 years 2 months ago
1996
IEEE
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...