14 search results - page 1 / 3 » On the Necessary and Sufficient Assumptions for UC Computati... |
TCC
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We study the necessary and sufficient assumptions for universally composable (UC) computation, both in terms of setup and computational assumptions. We look at the common...
CONCUR
2009
Springer
13 years 3 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
AAAI
2006
13 years 6 months ago
2006
This paper is concerned with estimating the effects of actions from causal assumptions, represented concisely as a directed graph, and statistical knowledge, given as a probabilit...
ACMDIS
2010
ACM
13 years 5 months ago
2010
ACM
Smart electricity meters and home displays are being installed in people's homes with the assumption that households will make the necessary efforts to reduce their electrici...
FSS
2008
13 years 5 months ago
2008
We work with fuzzy Turing machines (FTMs) and we study the relationship between this computational model and classical recursion concepts such as computable functions, recursively...