10891 search results - page 81 / 2179 » Combining Model Reductions |
136
click to vote
EUROCRYPT
2007
Springer
15 years 6 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...
103
click to vote
SDM
2004
SIAM
15 years 4 months ago
2004
SIAM
Clustering suffers from the curse of dimensionality, and similarity functions that use all input features with equal relevance may not be effective. We introduce an algorithm that...
PATMOS
2004
Springer
15 years 8 months ago
2004
Springer
116
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
WSC
2008
15 years 5 months ago
2008