3742 search results - page 238 / 749 » On the Use of Formal Techniques for Validation |
162
click to vote
DMKD
2003
ACM
15 years 11 months ago
2003
ACM
We analyze expression matrices to identify a priori interesting sets of genes, e.g., genes that are frequently co-regulated. Such matrices provide expression values for given biol...
162
click to vote
AIPS
2010
15 years 6 months ago
2010
In this paper, we develop a heuristic, progression based conformant planner, called CNF, which represents belief states by a special type of CNF formulae, called CNF-states. We de...
199
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
151
click to vote
BILDMED
2008
15 years 8 months ago
2008
Abstract. The segmentation and visualization of the esophagus is helpful during planing and performing atrial ablation therapy to avoid esophageal injury. Only very few studies hav...
177
click to vote
PPDP
2005
Springer
2005
Springer
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
16 years 1 days ago
Formal methods have proved to be very useful for analyzing cryptographic protocols. However, most existing techniques apply to the case of abstract encryption schemes and pairing....