2278 search results - page 220 / 456 » Specification Techniques for Automatic Performance Analysis ... |
146
click to vote
SAS
2007
Springer
16 years 19 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
168
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
177
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
179
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...
204
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
The explosion of user-generated content on the Web has led to new opportunities and significant challenges for companies, that are increasingly concerned about monitoring the disc...