Sciweavers

4581 search results - page 48 / 917
» Computing Transformation Semigroups
Sort
View
CHI
2009
ACM
15 years 10 months ago
The reflective transformative design process
Caroline Hummels, Joep Frens
ICPR
2000
IEEE
15 years 10 months ago
Random Paintbrush Transformation
Tamás Szirányi, Zoltán T&oacu...
SAC
2003
ACM
15 years 11 months ago
Validation of Code-Improving Transformations for Embedded Systems
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
Robert van Engelen, David B. Whalley, Xin Yuan
GG
2008
Springer
15 years 7 months ago
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
Hartmut Ehrig, Ulrike Prange
EUROCRYPT
2003
Springer
15 years 11 months ago
Fair Secure Two-Party Computation
Abstract Benny Pinkas HP Labs Abstract. We demonstrate a transformation of Yao’s protocol for secure two-party computation to a fair protocol in which neither party gains any sub...
Benny Pinkas