6014 search results - page 91 / 1203 » Parametric Analysis of Computer Systems |
111
Voted
SE
2007
15 years 4 months ago
2007
: One of the major tasks in maintaining software systems is understanding how specific effects came to be. This is especially true for effects that cause major harm, and especiall...
108
Voted
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
The analysis, and eventual approval or rejection, of new enterprise information technology (IT) initiatives often proceeds on the basis of informal estimates of return on investme...
119
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
We consider analysis of complex stochastic models based upon partial information. MCMC and reversible jump MCMC are often the methods of choice for such problems, but in some situ...
143
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...