5639 search results - page 221 / 1128 » Timed Abstract Non-interference |
130
click to vote
WILF
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper we propose a representation for 13 relation...
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In order to study relative PCF-definability of boolean functions, we associate a hypergraph Hf to any boolean function f (following [3, 5]). We introduce the notion of t...
115
click to vote
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
122
click to vote
ICONIP
2008
15 years 4 months ago
2008
Abstract. A method is proposed to determine the similarity of a collection of time series. As a first step, one extracts events from the time series, in other words, one converts e...
109
click to vote
AUTOMATICA
2010
15 years 3 months ago
2010
: The standard continuous time state space model with stochastic disturbances the mathematical abstraction of continuous time white noise. To work with well defined, discrete time ...