5255 search results - page 901 / 1051 » Formal Methods for Privacy |
128
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
120
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
127
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Existing research on mining quantitative databases mainly focuses on mining associations. However, mining associations is too expensive to be practical in many cases. In this pape...
117
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
In the domain of gene expression data analysis, various researchers have recently emphasized the promising application of pattern discovery techniques like association rule mining...
129
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
Most video games require constant interaction, so game designers must pay careful attention to usability issues. However, there are few formal methods for evaluating the usability...