1796 search results - page 359 / 360 » An Approach to Compositional Model Checking |
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
BMCBI
2006
13 years 5 months ago
2006
Background: DNA microarrays are popular tools for measuring gene expression of biological samples. This ever increasing popularity is ensuring that a large number of microarray st...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
AIEDU
2005
13 years 5 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
BMCBI
2005
13 years 5 months ago
2005
Background: Molecular profiling generates abundance measurements for thousands of gene transcripts in biological samples such as normal and tumor tissues (data points). Given such...