1938 search results - page 147 / 388 » Dependable Software |
146
Voted
CC
2006
Springer
15 years 6 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...
131
Voted
ASWEC
2009
IEEE
15 years 9 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...
103
Voted
COMPSAC
2005
IEEE
15 years 8 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...
124
Voted
TCOM
2010
14 years 9 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...
118
Voted
DBSEC
2008
15 years 4 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...