16725 search results - page 3188 / 3345 » Engineering Software Correctness |
123
Voted
PVLDB
2010
15 years 2 months ago
2010
Applications from several domains are now being written to process live data originating from hardware and softwarebased streaming sources. Many of these applications have been wr...
125
Voted
TOSEM
2010
15 years 2 months ago
2010
e, or XPI. XPIs abstract crosscutting behaviors and make these abstractions explicit. XPIs can be used, albeit with limited enforcement of interface rules, with existing AOP langua...
114
Voted
TSE
2010
15 years 2 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
170
Voted
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
Despite the numerous prevention and protection mechanisms that have been introduced into modern operating systems, the exploitation of memory corruption vulnerabilities still repr...
124
Voted
ANCS
2010
ACM
15 years 1 months ago
2010
ACM
The Internet is witnessing explosive growth in traffic due to bulk content transfers, such as multimedia and software downloads, and online sharing of personal, commercial, and sc...