1662 search results - page 1 / 333 » Privately Finding Specifications |
TSE
2008
13 years 4 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...
LCN
2000
IEEE
13 years 9 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...
POLICY
2007
Springer
13 years 11 months ago
2007
Springer
A VoIP PBX supports flexible call handling functionality for selective forwarding, cost based outward call routing, recording calls etc. Both users and administrators need a flexi...
KDD
2006
ACM
14 years 5 months ago
2006
ACM
We study the problem of private classification using kernel methods. More specifically, we propose private protocols implementing the Kernel Adatron and Kernel Perceptron learning ...
IEPOL
2006
13 years 4 months ago
2006
This paper presents results from a field study on voluntary contributions for an information public good provided via the Internet (an electronic newsletter for authors). Whereas ...