2651 search results - page 446 / 531 » Experiences with the Use of a Configuration Language |
WWW
2010
ACM
15 years 6 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
SIGCSE
2010
ACM
15 years 6 months ago
2010
ACM
This paper discusses our experience in teaching an interdisciplinary general education course called Sound Thinking that is offered jointly by our Dept. of Computer Science and De...
106
click to vote
ICDAR
2009
IEEE
15 years 6 months ago
2009
IEEE
In recent years, many document image retrieval algorithms have been proposed. However, most of the current approaches either need good quality images or depend on the page layout ...
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
110
click to vote
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...