2055 search results - page 277 / 411 » Generic Model Refactorings |
198
click to vote
AISC
2004
Springer
16 years 7 days ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
174
click to vote
CCS
2004
ACM
16 years 7 days ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
167
click to vote
CRYPTO
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We propose a new and efficient signature scheme that is provably secure in the plain model. The security of our scheme is based on a discrete-logarithm-based assumption p...
152
click to vote
GI
2004
Springer
16 years 7 days ago
2004
Springer
: Within the EC funded research project GEMINI (Generic Environment for Multilingual Interactive Natural Interfaces) we aim at the development of a platform that assists the user t...
173
click to vote
GPCE
2004
Springer
16 years 6 days ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...