Sciweavers

10285 search results - page 29 / 2057
» Composing Feature Models
Sort
View
FMICS
2009
Springer
15 years 8 months ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
Kenneth J. Turner, Koon Leai Larry Tan
CRYPTO
2007
Springer
162views Cryptology» more  CRYPTO 2007»
15 years 8 months ago
Universally-Composable Two-Party Computation in Two Rounds
Round complexity is a central measure of efficiency, and characterizing the round complexity of various cryptographic tasks is of both theoretical and practical importance. We show...
Omer Horvitz, Jonathan Katz
103
Voted
CGF
2008
80views more  CGF 2008»
15 years 2 months ago
Sketching and Composing Widgets for 3D Manipulation
We present an interface for 3D object manipulation in which standard transformation tools are replaced with transient 3D widgets invoked by sketching context-dependent strokes. Th...
Ryan Schmidt, Karan Singh, Ravin Balakrishnan
ICIP
2006
IEEE
16 years 3 months ago
A Hierarchical ASM/AAM Approach in a Stochastic Framework for Fully Automatic Tracking and Recognition
This paper deals with the fully automatic extraction of classifiable person features out of a video stream with challenging background. Basically the task can be split in two part...
Andre Störmer, Gerhard Rigoll, Sascha Schreib...
CRYPTO
2012
Springer
247views Cryptology» more  CRYPTO 2012»
13 years 4 months ago
Black-Box Constructions of Composable Protocols without Set-Up
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...
Huijia Lin, Rafael Pass