Sciweavers

6300 search results - page 302 / 1260
» We have it easy, but do we have it right
Sort
View
ACNS
2007
Springer
112views Cryptology» more  ACNS 2007»
15 years 8 months ago
A New Protocol for Conditional Disclosure of Secrets and Its Applications
Many protocols that are based on homomorphic encryption are private only if a client submits inputs from a limited range S. Conditional disclosure of secrets (CDS) helps to overcom...
Sven Laur, Helger Lipmaa
COMPSAC
2006
IEEE
15 years 8 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
106
Voted
ESCIENCE
2006
IEEE
15 years 8 months ago
Building Simple, Easy-to-Use Grids with Styx Grid Services and SSH
Grid systems have a reputation for being difficult to build and use. We describe how the ease of use of the Styx Grid Services (SGS) software can be combined with the security and...
J. D. Blower, K. Haines
111
Voted
HICSS
2006
IEEE
104views Biometrics» more  HICSS 2006»
15 years 8 months ago
Extending the Use of Games in Health Care
Digital games have the ability to engage both children and adults alike. We are exploring the use of games for children with long term treatment regimes, where motivation for comp...
Carolyn R. Watters, Michael A. Shepherd, Azza Abou...
ACCV
2006
Springer
15 years 7 months ago
Visual Surveillance Using Less ROIs of Multiple Non-calibrated Cameras
With a large number of surveillance cameras, it is not an easy task to determine which camera should be monitored and which region of the camera images should be checked so that al...
Takashi Nishizaki, Yoshinari Kameda, Yuichi Ohta