962 search results - page 123 / 193 » Input validation analysis and testing |
ADAEUROPE
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
ECIS
2004
15 years 1 months ago
2004
Web sites are now considered an extension of the entire business, not just an additional channel or storefront or a simple information portal for the company. Creating an effectiv...
CSSC
2008
14 years 12 months ago
2008
The decorrelating property of the discrete wavelet transformation (DWT) appears valuable because one can avoid estimating the correlation structure in the original data space by b...
WSDM
2010
ACM
15 years 9 months ago
2010
ACM
Recently, there has been tremendous interest in the phenomenon of influence propagation in social networks. The studies in this area assume they have as input to their problems a ...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—This paper describes a waveform compression technique suitable for the efficient utilization, storage and interchange of the emerging current source model (CSM) based cell libra...