182 search results - page 31 / 37 » Automatic patch generation by learning correct code |
ECOWS
2009
Springer
15 years 4 months ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
101
click to vote
SIGMOD
2003
ACM
15 years 3 months ago
2003
ACM
Many web sites contain large sets of pages generated using a common template or layout. For example, Amazon lays out the author, title, comments, etc. in the same way in all its b...
96
Voted
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Although scripting languages are becoming increasingly popular, even mature scripting language implementations remain interpreted. Several compilers and reimplementations have bee...
RAID
2009
Springer
15 years 4 months ago
2009
Springer
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The re...