1055 search results - page 105 / 211 » Performance Analysis of Generalized Multihop Shuffle Network... |
110
Voted
CCS
2008
ACM
15 years 3 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
152
click to vote
FORTE
2011
14 years 5 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
203
click to vote
IHI
2012
13 years 9 months ago
2012
Biological network analysis often aims at the target identification problem, which is to predict which molecule to inhibit (or activate) for a disease treatment to achieve optimu...
116
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents a power grid analyzer based on a random walk technique. A linear-time algorithm is first demonstrated for DC analysis, and is then extended to perform transien...
136
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Network information distribution is a fundamental service for any anonymization network. Even though anonymization and information distribution about the network are two orthogona...