1901 search results - page 250 / 381 » Predicting Program Properties from |
138
click to vote
TCS
2008
15 years 2 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
130
click to vote
ETS
2009
IEEE
15 years 25 days ago
2009
IEEE
We optimize the full-response diagnostic fault dictionary from a given test set. The smallest set of vectors is selected without loss of diagnostic resolution of the given test se...
157
click to vote
JMLR
2012
13 years 5 months ago
2012
We study the prevalent problem when a test distribution differs from the training distribution. We consider a setting where our training set consists of a small number of sample d...
117
click to vote
PODS
2012
ACM
13 years 5 months ago
2012
ACM
Database theory and database practice are typically the domain of computer scientists who adopt what may be termed an algorithmic perspective on their data. This perspective is ve...
163
click to vote
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...