3018 search results - page 60 / 604 » Leveraging the |
EUROCRYPT
2010
Springer
14 years 13 days 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...
NLPRS
2001
Springer
14 years 2 days 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...
FMCAD
2004
Springer
13 years 11 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...
ECTEL
2006
Springer
13 years 11 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...
EUROSYS
2006
ACM
13 years 11 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,...