Sciweavers

1810 search results - page 177 / 362
» BASE: Using Abstraction to Improve Fault Tolerance
Sort
View
EUROCRYPT
2008
Springer
15 years 8 months ago
New Constructions for UC Secure Computation Using Tamper-Proof Hardware
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
Nishanth Chandran, Vipul Goyal, Amit Sahai
DAGM
2007
Springer
15 years 10 months ago
An Adaptive Confidence Measure for Optical Flows Based on Linear Subspace Projections
Abstract. Confidence measures are important for the validation of optical flow fields by estimating the correctness of each displacement vector. There are several frequently used c...
Claudia Kondermann, Daniel Kondermann, Bernd J&aum...
FMICS
2010
Springer
15 years 7 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
ISEUD
2011
Springer
14 years 10 months ago
End-Users Productivity in Model-Based Spreadsheets: An Empirical Study
Abstract. Spreadsheets are widely used and studies show that most of the existing ones contain non-trivial errors. To improve end-users productivity, recent research proposes the u...
Laura Beckwith, Jácome Cunha, João P...
PET
2007
Springer
16 years 20 days ago
Pairing-Based Onion Routing
Abstract. This paper presents a novel use of pairing-based cryptography to improve circuit construction in onion routing anonymity networks. Instead of iteratively and interactivel...
Aniket Kate, Gregory M. Zaverucha, Ian Goldberg