Sciweavers

905 search results - page 37 / 181
» The Case Against Micropayments
Sort
View
CAISE
2003
Springer
14 years 1 months ago
Metamodel-Compliance Checking of Requirements in a Semiformal Representation
Abstract. Checking requirements is highly desirable but hard to achieve in practice, where only word processors are used in most projects. While in this case reviews are more or le...
Hermann Kaindl, Stefan Kramer, Mario Hailing, Vaha...
FC
2001
Springer
123views Cryptology» more  FC 2001»
14 years 11 days ago
Optimistic Fair Exchange with Transparent Signature Recovery
In this paper, we propose a new practical fair exchange protocol allowing the exchange of an electronic item against a signature. The protocol is based on the Guillou-Quisquater s...
Olivier Markowitch, Shahrokh Saeednia
ISMVL
1999
IEEE
133views Hardware» more  ISMVL 1999»
14 years 5 days ago
Ternary Multiplication Circuits Using 4-Input Adder Cells and Carry Look-Ahead
We introduce a new implementation of a ternary adder with four inputs and two outputs. This ternary adder reduces the number of digits in a multiplication compared with a binary m...
Andreas Herrfeld, Siegbert Hentschke
AUSAI
1997
Springer
14 years 1 days ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss
FSE
2006
Springer
101views Cryptology» more  FSE 2006»
13 years 11 months ago
Pseudorandom Permutation Families over Abelian Groups
We propose a general framework for differential and linear cryptanalysis of block ciphers when the block is not a bitstring. We prove piling-up lemmas for the generalized different...
Louis Granboulan, Éric Levieil, Gilles Pire...