762 search results - page 56 / 153 » How to realize |
165
click to vote
FOCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
150
click to vote
ARES
1998
Springer
15 years 8 months ago
1998
Springer
The realization of software projects can be significantly eased by extending the focus of reuse to architectural aspects instead of concentrating on separate software elements. Ye...
116
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
126
click to vote
ICTAI
1994
IEEE
15 years 8 months ago
1994
IEEE
Large-scale lexical knowledge acquisition is one of the most time critical steps in developing a knowledge-based machine translation system. In particular, developing the syntacti...
169
Voted
3DPVT
2006
IEEE
15 years 7 months ago
2006
IEEE
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...