3742 search results - page 136 / 749 » On the Use of Formal Techniques for Validation |
182
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
134
click to vote
BIRD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We apply the concept of subset seeds proposed in [1] to similarity search in protein sequences. The main question studied is the design of efficient seed alphabets to con...
117
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Sanitization of a document involves removing sensitive information from the document, so that it may be distributed to a broader audience. Such sanitization is needed while declas...
189
click to vote
MKM
2009
Springer
16 years 28 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
166
click to vote
MEMOCODE
2007
IEEE
16 years 20 days ago
2007
IEEE
Orthogonal Frequency-Division Multiplexing (OFDM) has become the preferred modulation scheme for both broadband and high bitrate digital wireless protocols because of its spectral...