948 search results - page 104 / 190 » Analysis of SITA policies |
CCR
2004
14 years 11 months ago
2004
Abstract-- Human error in configuring routers undermines attempts to provide reliable, predictable end-to-end performance on IP networks. Manual configuration, while expensive and ...
ICML
2008
IEEE
16 years 21 days ago
2008
IEEE
Residual gradient (RG) was proposed as an alternative to TD(0) for policy evaluation when function approximation is used, but there exists little formal analysis comparing them ex...
103
click to vote
TGC
2007
Springer
15 years 6 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
105
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
CCS
2011
ACM
13 years 12 months ago
2011
ACM
Online service providers are engaged in constant conflict with miscreants who try to siphon a portion of legitimate traffic to make illicit profits. We study the abuse of “tr...