Sciweavers

11063 search results - page 325 / 2213
» On the existence of universal models
Sort
View
EDUTAINMENT
2007
Springer
16 years 28 days ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
EUROCRYPT
2007
Springer
16 years 28 days ago
Non-interactive Proofs for Integer Multiplication
Abstract. We present two universally composable and practical protocols by which a dealer can, verifiably and non-interactively, secret-share an integer among a set of players. Mo...
Ivan Damgård, Rune Thorbek
CIMCA
2006
IEEE
16 years 25 days ago
Direct Adaptive Fuzzy Control with Less Restrictions on the Control Gain
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
Phi Anh Phan, Timothy J. Gale
FOCS
2006
IEEE
16 years 25 days ago
New Limits on Fault-Tolerant Quantum Computation
We show that quantum circuits cannot be made faulttolerant against a depolarizing noise level of ˆθ = (6 − 2 √ 2)/7 ≈ 45%, thereby improving on a previous bound of 50% (du...
Harry Buhrman, Richard Cleve, Monique Laurent, Noa...
GMP
2006
IEEE
117views Solid Modeling» more  GMP 2006»
16 years 25 days ago
Two-Dimensional Selections for Feature-Based Data Exchange
Proper treatment of selections is essential in parametric feature-based design. Data exchange is one of the most important operators in any design paradigm. In this paper we addre...
Ari Rappoport, Steven N. Spitz, Michal Etzion