1646 search results - page 227 / 330 » Automatic generation of two-party computations |
102
click to vote
ICNP
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
140
click to vote
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM
A code clone represents a sequence of statements that are duplicated in multiple locations of a program. Clones often arise in source code as a result of multiple cut/paste operat...
128
click to vote
ISMB
1998
15 years 2 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
103
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
107
Voted
CAD
2005
Springer
15 years 1 months ago
2005
Springer
This paper presents solution techniques for a three-dimensional Automatic Made-to-Measure (AMM) scheme for apparel products. Freeform surface is adopted to represent the complex g...