1646 search results - page 50 / 330 » Automatic generation of two-party computations |
NPAR
2000
ACM
13 years 11 months ago
2000
ACM
This paper presents a new method for the automatic painterly rendering. This method synthesizes an impressive image with a handcrafted look from a source image such as a photograp...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
SG
2005
Springer
14 years 1 months ago
2005
Springer
: Cross-sectioning is a popular method for visualizing the complicated inner structures of three-dimensional volume datasets. However, the process is usually manual, meaning that a...
SPIN
2012
Springer
11 years 10 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper demonstrates the automatic creation of a web service that chains together existing web services to achieve a particular goal. The generated service implements the ne...