14783 search results - page 283 / 2957 » Quantum Information Processing |
142
click to vote
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
179
click to vote
CSFW
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
167
click to vote
IFIP
1993
Springer
15 years 8 months ago
1993
Springer
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
116
click to vote
ICASSP
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we propose two novel methods for preserving the spatial information in source separation algorithms. Our approach is applicable to any source separation algorithm an...
130
click to vote
ERSHOV
2006
Springer
15 years 8 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 ...