6960 search results - page 362 / 1392 » Continuity Analysis of Programs |
108
Voted
WICON
2008
15 years 6 months ago
2008
The possibility for spontaneous ad hoc networks between mobile devices has been increasing as small devices become more capable of hosting useful networked applications. These app...
141
Voted
DIMVA
2006
15 years 6 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
116
click to vote
CACM
2010
15 years 4 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...
158
click to vote
ORL
2008
15 years 4 months ago
2008
We propose a sample average approximation (SAA) method for stochastic programming problems involving an expected value constraint. Such problems arise, for example, in portfolio s...
154
click to vote
ISAAC
2010
Springer
15 years 2 months ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...