1292 search results - page 114 / 259 » A Designer's Guide to KEMs |
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—Secondary spectrum access is emerging as a promising approach for mitigating the spectrum scarcity in wireless networks. Coordinated spectrum access for secondary users ...
CCS
2011
ACM
12 years 8 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
KDD
2012
ACM
11 years 10 months ago
2012
ACM
Three major factors govern the intricacies of community extraction in networks: (1) the application domain includes a wide variety of networks of fundamentally different natures,...
KDD
2012
ACM
11 years 10 months ago
2012
ACM
Building an accurate emerging pattern classifier with a highdimensional dataset is a challenging issue. The problem becomes even more difficult if the whole feature space is unava...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...