580 search results - page 13 / 116 » An Approach to Quantitative Software Architecture Sensitivit... |
117
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
106
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
105
click to vote
CSDA
2006
15 years 1 months ago
2006
Multidimensional scaling (MDS) is a collection of data analytic techniques for constructing configurations of points from dissimilarity information about interpoint distances. Cla...
127
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
122
Voted
CC
2006
Springer
15 years 5 months ago
2006
Springer
We present the results of an empirical study evaluating the precision of subset-based points-to analysis with several variations of context sensitivity on Java benchmarks of signif...