3984 search results - page 559 / 797 » A Model-Driven Transformation Method |
169
click to vote
EUROCRYPT
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Lattice-based signature schemes following the GoldreichGoldwasser-Halevi (GGH) design have the unusual property that each signature leaks information on the signer's...
321
click to vote
CRYPTO
2000
Springer
15 years 9 months ago
2000
Springer
The best known constructions for arrays with low bias are those from [1] and the exponential sum method based on the WeilCarlitz-Uchiyama bound. They all yield essentially the same...
122
click to vote
MICCAI
2000
Springer
15 years 9 months ago
2000
Springer
A computer-based method for the assessment of body image distortions in anorexia nervosa and other eating-disordered patients is presented. At the core of the method is a realistic...
186
click to vote
PODS
1991
ACM
15 years 9 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
191
click to vote
QOSA
2010
Springer
15 years 9 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...