18 search results - page 3 / 4 » cj 2007 |
CJ
2007
13 years 6 months ago
2007
CJ
2007
13 years 6 months ago
2007
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...
EJC
2006
13 years 6 months ago
2006
In this paper we study the sequence (ci)0id for a distance-regular graph. In particular we show that if d 2j and cj = c > 1 then c2j > c holds. Using this we give improveme...
CJ
2007
13 years 6 months ago
2007
In mobile environments transmitting information relevant to an event along with notification of the event has been proven to be an effective means of providing revenue enhancing s...
ASPDAC
2007
ACM
13 years 10 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...