14824 search results - page 2930 / 2965 » Security - Introduction |
FAC
2007
14 years 10 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
106
click to vote
GRID
2007
Springer
14 years 10 months ago
2007
Springer
The GEMSS project has developed a service-oriented Grid that supports the provision of medical simulation services by service providers to clients such as hospitals. We outline the...
PR
2006
14 years 10 months ago
2006
By analyzing the similarities between bit streams coming from a network of motion detectors, we can recover the network geometry and discover structure in the human behavior being...
SIGCSE
2008
ACM
14 years 10 months ago
2008
ACM
Summer camps offer a ripe opportunity for increasing computer science diversity. This panel provides several examples of summer camps that specifically recruit from traditionally ...
SAC
2006
ACM
14 years 10 months ago
2006
ACM
The use of recommender systems in e-commerce to guide customer choices presents a privacy protection problem that is twofold. We seek to protect the privacy interests of customers...