5084 search results - page 83 / 1017 » Proving Possibility Properties |
AOSD
2007
ACM
14 years 2 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...
CASSIS
2004
Springer
14 years 1 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...
FSTTCS
2006
Springer
14 years 1 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 ...
JCM
2008
13 years 10 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) ...
JMLR
2008
13 years 10 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...