2695 search results - page 463 / 539 » A Visual Approach to Validating System Level Designs |
162
Voted
FORTE
2011
14 years 6 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...
131
Voted
CCGRID
2008
IEEE
15 years 9 months ago
2008
IEEE
— Data grids and its cost effective nature has taken on a new level of interest in recent years; amalgamation of different providers results in increased capacity as well as lowe...
131
click to vote
IWPC
2000
IEEE
15 years 7 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
149
Voted
NDSS
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a solution to the denial of service (DoS) problem that does not rely on network infrastructure support, conforming to the end-to-end (e2e) design principle. Our approac...
98
Voted
CHI
2006
ACM
16 years 2 months ago
2006
ACM
To build systems shielding users from fraudulent (or phishing) websites, designers need to know which attack strategies work and why. This paper provides the first empirical evide...