6608 search results - page 1095 / 1322 » On the Completeness of Model Checking |
166
click to vote
FOIS
2006
15 years 8 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...
188
click to vote
ODRL
2004
15 years 8 months ago
2004
Two main Rights Expression Languages (RELs) exist to describe licenses governing the access to digital content: ODRL (Open Digital Rights Language) and MPEG-21 REL. Both RELs are ...
198
click to vote
APLAS
2010
ACM
15 years 6 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...
198
click to vote
BIODATAMINING
2008
15 years 6 months 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...
161
click to vote
BMCBI
2008
15 years 6 months 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-...