1779 search results - page 301 / 356 » A Formal Model of Data Privacy |
116
click to vote
JSS
2002
15 years 3 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
134
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
This work presents the use of sensor stream reduction algorithms in clustered wireless sensor networks (WSNs), where the cluster head node is responsible to reduce the amount of d...
110
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We prove an optimal (n) lower bound on the randomized communication complexity of the much-studied GAP-HAMMING-DISTANCE problem. As a consequence, we obtain essentially optimal mu...
112
click to vote
TIT
2010
14 years 10 months ago
2010
A method of `network filtering' has been proposed recently to detect the effects of certain external perturbations on the interacting members in a network. However, with larg...
168
click to vote
AIME
2011
Springer
14 years 3 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...