2152 search results - page 77 / 431 » An Abstract Account of Composition |
197
click to vote
QEST
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
201
click to vote
AVBPA
2005
Springer
15 years 12 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...
158
click to vote
SSS
2009
Springer
15 years 11 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...
193
click to vote
OOPSLA
1999
Springer
15 years 10 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...
170
click to vote
CAV
2007
Springer
15 years 10 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...