Sciweavers

1368 search results - page 60 / 274
» Avoiding Simplicity Is Complex
Sort
View
CRYPTO
2001
Springer
139views Cryptology» more  CRYPTO 2001»
15 years 6 months ago
Soundness in the Public-Key Model
The public-key model for interactive proofs has proved to be quite effective in improving protocol efficiency [CGGM00]. We argue, however, that its soundness notion is more subtle...
Silvio Micali, Leonid Reyzin
EDBT
2008
ACM
111views Database» more  EDBT 2008»
16 years 2 months ago
Schema polynomials and applications
Conceptual complexity is emerging as a new bottleneck as data-base developers, application developers, and database administrators struggle to design and comprehend large, complex...
Kenneth A. Ross, Julia Stoyanovich
HPDC
2007
IEEE
15 years 8 months ago
Precise and realistic utility functions for user-centric performance analysis of schedulers
Utility functions can be used to represent the value users attach to job completion as a function of turnaround time. Most previous scheduling research used simple synthetic repre...
Cynthia Bailey Lee, Allan Snavely
CP
2003
Springer
15 years 7 months ago
An Algebraic Approach to Multi-sorted Constraints
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
Andrei A. Bulatov, Peter Jeavons
GI
2003
Springer
15 years 7 months ago
New Software Technology in Space: BOSS - a Dependable Open Source Embedded Operating System
: BOSS targets a principle which the world forgot a long time ago: Simplicity. BOSS is an embedded real time operating system for safety critical applications. Our experience shows...
Sergio Montenegro