2137 search results - page 364 / 428 » Proving Abstract Non-interference |
DAM
2007
13 years 10 months ago
2007
Abstract. It is well known that the degree of a 2m-variable bent function is at most m. However, the case in homogeneous bent functions is not clear. In this paper, it is proved th...
DC
2007
13 years 10 months ago
2007
Abstract Many reliable distributed systems are consensusbased and typically operate under two modes: a fast normal mode in failure-free synchronous periods, and a slower recovery m...
JSAC
2008
13 years 10 months ago
2008
Abstract--Distributed and efficient resource allocation is critical for fully realizing the benefits of cooperative communications in large scale communication networks. This paper...
JCO
2006
13 years 10 months ago
2006
Abstract. We study efficient algorithms for establishing reliable connections with bandwidth guarantees in communication networks. In the normal mode of operation, each connection ...
JCP
2006
13 years 10 months ago
2006
Abstract-- This paper is concerned with passwordauthenticated key agreement protocols. Designing such protocols represents an interesting challenge since there is no standard way o...