5639 search results - page 71 / 1128 » Timed Abstract Non-interference |
ICCAD
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract— This paper presents a post-route, timingconstrained gate-sizing algorithm for crosstalk reduction. Gate-sizing has emerged as a practical and feasible method to reduce ...
120
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—Synchronization is an important issue in orthogonal frequency-division multiplexing (OFDM) systems including symbol timing and carrier frequency offset (CFO) estimation....
100
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
AI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, we introduce an approach called RTBSS (RealTime Belief Space Search) for real-time decision making in large POMDPs. The approach is based on a look-ahead s...
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...