438 search results - page 12 / 88 » Efficient Timing Analysis Algorithms for Timed State Space E... |
167
Voted
CSFW
1999
IEEE
15 years 7 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...
160
click to vote
CCGRID
2004
IEEE
15 years 7 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...
128
click to vote
ASPDAC
2006
ACM
15 years 9 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...
148
Voted
IJCAI
2001
15 years 4 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...
136
Voted
CORR
2008
Springer
15 years 3 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...