6527 search results - page 310 / 1306 » On Typing Information Flow |
152
click to vote
APVIS
2001
15 years 8 months ago
2001
Tacit knowledge has long been recognised, however its research has focused largely on who is more likely to have this store of knowledge, rather than taking this one step further ...
199
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
The rapid progress of human genome studies leads to a strong demand of aggregate human DNA data (e.g, allele frequencies, test statistics, etc.), whose public dissemination, howeve...
165
click to vote
EGOV
2003
Springer
15 years 12 months ago
2003
Springer
Conversations between citizens and their representatives may take a number of forms. In this paper, we consider one of these — letters between citizens and representatives — an...
141
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Internet-based personal digital belongings present different vulnerabilities than locally stored materials. We use responses to a survey of people who have recovered lost websites...
236
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...