652 search results - page 11 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
ENTCS
2002
14 years 10 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
NIPS
1998
15 years 18 hour ago
1998
We examine the statistics of natural monochromatic images decomposed using a multi-scale wavelet basis. Although the coefficients of this representation are nearly decorrelated, t...
113
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
107
click to vote
JCC
2008
14 years 10 months ago
2008
: For the new parallel implementation of electronic structure methods in ACES III (Lotrich et al., in preparation) the present state-of-the-art algorithms for the evaluation of ele...
120
click to vote
I3E
2001
15 years 1 days ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...