2514 search results - page 95 / 503 » The use of industrial-strength formal methods |
171
click to vote
IJON
2008
15 years 6 months ago
2008
We consider the problem of convolutive blind source separation of stereo mixtures. This is often tackled using frequency-domain independent component analysis (FDICA), or time-fre...
157
click to vote
ASIAN
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
148
click to vote
IWFM
2003
15 years 7 months ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...
202
click to vote
TYPES
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
295
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...