2137 search results - page 183 / 428 » Proving Abstract Non-interference |
105
click to vote
VTC
2008
IEEE
15 years 9 months ago
2008
IEEE
—Many different types of modern wired and wireless communication links can be mathematically described as discretebert channels. In this extended abstract, we present an exact me...
127
Voted
WCNC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— In this paper, the design of distributed spacefrequency codes (DSFCs) for wireless relay networks employing the amplify-and-forward (AAF) protocol is considered. The te...
110
click to vote
ACNS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The EAP-GPSK protocol is a lightweight, flexible authentication protocol relying on symmetric key cryptography. It is part of an ongoing IETF process to develop authenti...
103
click to vote
ARITH
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...
103
Voted
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— This paper investigates the performance of trading strategies identified through Computational Intelligence techniques. We focus on trading rules derived by Genetic Pr...