5639 search results - page 431 / 1128 » Timed Abstract Non-interference |
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract--In this letter, an initial ranging scheme for orthogonal frequency-division multiple-access systems is proposed by which users that intend to establish a communication li...
204
click to vote
CSDA
2010
15 years 7 months ago
2010
Abstract: Fusion of information from graph features and content can provide superior inference for an anomaly detection task, compared to the corresponding content-only or graph fe...
181
Voted
ENTCS
2008
15 years 7 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
153
Voted
IANDC
2008
15 years 7 months ago
2008
Abstract. Boolean grammars are an extension of context-free grammars, in which all propositional connectives are allowed. In this paper, the notion of ambiguity in Boolean grammars...
296
Voted
IANDC
2008
15 years 7 months ago
2008
Abstract. Cellular Automata can be considered discrete dynamical systems and at the same time a model of parallel computation. In this paper we investigate the connections between ...