4609 search results - page 542 / 922 » Automatic Generation of Sigma-Protocols |
173
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
186
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
259
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
In this paper, a new technique for modeling textured 3D faces is introduced. 3D faces can either be generated automatically from one or more photographs, or modeled directly throu...
174
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A global Data warehouse (DW) integrates data from multiple distributed heterogeneous databases and other information sources. DW can be abstractly seen as a set of materi...
171
Voted
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...