26354 search results - page 335 / 5271 » How we refactor, and how we know it |
187
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
188
click to vote
COMPSEC
2004
15 years 6 months ago
2004
The idea of risk permeates the information security field. We use terms like ``risk management'', ``risk assessment'', ``risk model'' and ``risk analy...
175
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Developer documentation helps developers learn frameworks and libraries. To better understand how documentation in open source projects is created and maintained, we performed a q...
174
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
173
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Network management applications require large numbers of counters in order to collect traffic characteristics for each network flow. However, these counters often barely fit ...