5255 search results - page 222 / 1051 » Formal Methods for Privacy |
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
119
click to vote
SAS
1992
Springer
15 years 8 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A
109
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we concentrate on incremental synthesis of timed automata for automatic addition of different types of bounded response properties. Bounded response
113
click to vote
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
with abstraction and refinement for managing features interactions A methodological approach to feature interaction problem Dominique Cansell and Dominique M
127
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...