1938 search results - page 147 / 388 » Dependable Software |
157
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
142
click to vote
ASWEC
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
111
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Patching technologies are commonly applied to improve the dependability of software after release. This paper proposes an autonomous hot patching (AHP) framework to fully automate...
134
click to vote
TCOM
2010
14 years 10 months ago
2010
The linear minimum-mean-square error (LMMSE) estimator is herein derived to estimate phase-noise of Levy statistics (including Wiener phase-noise) and of arbitrarily large magnitud...
131
click to vote
DBSEC
2008
15 years 5 months ago
2008
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...