2137 search results - page 196 / 428 » Proving Abstract Non-interference |
148
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
123
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We investigate a general paradigm for constructing arbitraryinput-length (AIL) MACs from fixed-input-length (FIL) MACs, define the waste as the relevant efficiency para...
124
click to vote
ICIAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper a novel approach to the impulsive noise removal in color images is presented. The proposed technique employs the switching scheme based on the impulse detec...
110
click to vote
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from st...
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...