1173 search results - page 73 / 235 » On the Compositionality of Round Abstraction |
130
click to vote
AVBPA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The verification performance of biometric systems is normally evaluated using the receiver operating characteristic (ROC) or detection error trade-off (DET) curve. We p...
91
Voted
SSS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The problem of self-optimization and adaptation in the context of customizable systems is becoming increasingly important with the emergence of complex software systems a...
129
click to vote
OOPSLA
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...
109
click to vote
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
116
click to vote
DSRT
2009
IEEE
15 years 4 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...