Sciweavers

2947 search results - page 61 / 590
» Analyzing Program Analyses
Sort
View
ICALP
2005
Springer
15 years 11 months ago
Password-Based Encryption Analyzed
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
Martín Abadi, Bogdan Warinschi
UM
2010
Springer
15 years 11 months ago
Analyzing Community Knowledge Sharing Behavior
The effectiveness of support provided to virtual communities depends strongly on what we know about a particular community of people and in what areas the community needs support....
Styliani Kleanthous, Vania Dimitrova
HICSS
2009
IEEE
126views Biometrics» more  HICSS 2009»
15 years 9 months ago
Specifying and Analyzing Workflows for Automated Identification and Data Capture
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, An...
WSC
2008
15 years 8 months ago
A simulation model to analyze the impact of hole size on putting in golf
We develop a model of golfer putting skill and combine it with physics-based putt trajectory and holeout models to study the impact of doubling the radius of the hole on the putti...
Matulya Bansal, Mark Broadie
AAAI
1996
15 years 7 months ago
A Clinician's Tool for Analyzing Non-Compliance
We describe a computer program to assist a clinician with assessing the e cacy of treatments in experimental studies for which treatment assignment is random but subject complianc...
David Maxwell Chickering, Judea Pearl