Sciweavers

8398 search results - page 273 / 1680
» Optimal Software Testing
Sort
View
FC
2010
Springer
196views Cryptology» more  FC 2010»
15 years 10 months ago
Secure Multiparty AES
Abstract We propose several variants of a secure multiparty computation protocol for AES encryption. The best variant requires 2200 + 400 255 expected elementary operations in expe...
Ivan Damgård, Marcel Keller
JSA
2002
125views more  JSA 2002»
15 years 6 months ago
Building a dependable system from a legacy application with CORBA
This paper presents a dependability oriented, fault tolerance based system design, development, and deployment approach. The approach relies on an architectural framework, which a...
Domenico Cotroneo, Nicola Mazzocca, Luigi Romano, ...
ROBOCUP
2004
Springer
147views Robotics» more  ROBOCUP 2004»
15 years 12 months ago
Learning to Drive and Simulate Autonomous Mobile Robots
We show how to apply learning methods to two robotics problems, namely the optimization of the on-board controller of an omnidirectional robot, and the derivation of a model of the...
Alexander Gloye, Cüneyt Göktekin, Anna E...
SCOPES
2007
Springer
16 years 23 days ago
Whole-program linear-constant analysis with applications to link-time optimization
Ludo Van Put, Dominique Chanet, Koen De Bosschere