17185 search results - page 199 / 3437 » Computational and Quantitative Studies |
177
click to vote
ENTCS
2010
15 years 4 months ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
163
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
195
click to vote
DASC
2006
IEEE
16 years 1 months ago
2006
IEEE
We examine the feasibility of quantitatively characterizing the vulnerabilities in the two major HTTP servers. In particular, we investigate the applicability of quantitative empi...