3018 search results - page 60 / 604 » Leveraging the |
143
Voted
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
We present a constant-round non-malleable commitment scheme based on the existence of sub-exponential one-way functions and using a blackbox proof of security. As far as we know, t...
156
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
We demonstrate a web-based machine translation environment that can be improved in terms of accuracy and scope through online collaboration by users. The environment leverages the...
112
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
112
Voted
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
Workplace learning offers the unique possibility of the immediacy of purpose and real-world context. In order to leverage on this, we have developed a context-aware method to suppo...
144
Voted
EUROSYS
2006
ACM
15 years 7 months ago
2006
ACM
Product-line architectures (PLA)s are an emerging paradigm for developing software families for distributed real-time and embedded (DRE) systems by customizing reusable artifacts,...