1821 search results - page 238 / 365 » Security-Aware Program Transformations |
134
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
123
click to vote
IWDW
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we use the previously proposed calibrated DCT features [9] to construct a Support Vector Machine classifier for JPEG images capable of recognizing which steganograp...
115
click to vote
WEBI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
144
click to vote
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
136
Voted
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...