14824 search results - page 2930 / 2965 » Security - Introduction |
112
click to vote
FAC
2007
15 years 13 days 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...
125
click to vote
GRID
2007
Springer
15 years 13 days 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...
106
Voted
PR
2006
15 years 12 days 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...
87
Voted
SIGCSE
2008
ACM
15 years 12 days 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
15 years 12 days 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...