154 search results - page 2 / 31 » Abstract Interpretation with Applications to Timing Validati... |
FPL
1999
Springer
13 years 10 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
EDO
2005
Springer
13 years 11 months ago
2005
Springer
An SQL injection attack targets interactive web applications that employ database services. Such applications accept user input, such as form fields, and then include this input ...
DAC
2003
ACM
13 years 11 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
AUSAI
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...
RTSS
2007
IEEE
13 years 12 months ago
2007
IEEE
Time-triggered architectures (TTAs) are strong candidate platforms for safety-critical real-time applications. A typical time-triggered architecture is constituted by one or more ...