5084 search results - page 83 / 1017 » Proving Possibility Properties |
118
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
The last couple of years, various idioms used in the 15 MLOC C code base of ASML, the world's biggest lithography machine manufacturer, have been unmasked as crosscutting con...
140
click to vote
CASSIS
2004
Springer
15 years 6 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
141
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
117
click to vote
JCM
2008
15 years 3 months ago
2008
This paper analyzes the influence of time-varying cyclic delay diversity (TV-CDD) on the channel fading correlation properties in orthogonal frequency division multiplexing (OFDM) ...
129
click to vote
JMLR
2008
15 years 3 months ago
2008
Feature ranking is a fundamental machine learning task with various applications, including feature selection and decision tree learning. We describe and analyze a new feature ran...