1646 search results - page 150 / 330 » Automatic generation of two-party computations |
GI
2001
Springer
14 years 15 days ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
ECOOPW
1999
Springer
14 years 8 days ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
PG
1998
IEEE
14 years 7 days ago
1998
IEEE
This paper proposes an image-based modeling of clouds where realistic clouds are created from satellite images using metaballs. The intention of the paper is for applications to s...
SC
1990
ACM
14 years 1 days ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
EJC
2003
13 years 9 months ago
2003
We describe here our ongoing research on modeling conceptual and narrative structure of fairytales by a computer system. In this paper we focus on the variations of fairytales base...