4340 search results - page 156 / 868 » Formal Methods and Cryptography |
98
Voted
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
151
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...