2958 search results - page 332 / 592 » Extending and Implementing RASP |
127
Voted
APLAS
2010
ACM
15 years 27 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...
111
click to vote
BMCBI
2008
15 years 24 days ago
2008
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...
103
Voted
BMCBI
2010
15 years 24 days ago
2010
Background: Searching a database of protein structures for matches to a query structure, or occurrences of a structural motif, is an important task in structural biology and bioin...
120
click to vote
SCP
2008
15 years 18 days ago
2008
Today's complex applications must face the distribution of data and code among different network nodes. Computation in distributed contexts is demanding increasingly powerful...
104
Voted
COMPUTER
2002
15 years 15 days ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...