6201 search results - page 1065 / 1241 » Implementation of Axiomatic Language |
179
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
173
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
191
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
174
click to vote
DSRT
2009
IEEE
15 years 10 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
173
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...