5216 search results - page 1016 / 1044 » Planning as Model Checking |
127
Voted
APLAS
2010
ACM
15 years 23 days 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...
121
Voted
ECSA
2010
Springer
15 years 22 days ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
121
click to vote
BIODATAMINING
2008
15 years 20 days ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
BMCBI
2008
15 years 20 days ago
2008
Background: Several eukaryotic proteins associated to the extracellular leaflet of the plasma membrane carry a Glycosylphosphatidylinositol (GPI) anchor, which is linked to the C-...
122
Voted
BMCBI
2008
15 years 19 days ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...