438 search results - page 12 / 88 » Efficient Timing Analysis Algorithms for Timed State Space E... |
CSFW
1999
IEEE
13 years 12 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
CCGRID
2004
IEEE
13 years 11 months ago
2004
IEEE
Recently Peer-to-Peer networks (P2P) have gained great attention and popularity. One key challenging aspect in a P2P resource sharing environment is an efficient searching algorit...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
- We propose a hardware performance estimation flow for fast design space exploration, based on worst-case execution time analysis algorithms for software analysis. Test cases on s...
IJCAI
2001
13 years 9 months ago
2001
R-max is a very simple model-based reinforcement learning algorithm which can attain near-optimal average reward in polynomial time. In R-max, the agent always maintains a complet...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We consider a two-hop wireless network where a transmitter communicates with a receiver via M relays with an amplify-and-forward (AF) protocol. Recent works have shown that sophis...