Sciweavers

1399 search results - page 184 / 280
» Multi-party Finite Computations
Sort
View
CRYPTO
1991
Springer
150views Cryptology» more  CRYPTO 1991»
15 years 8 months ago
CM-Curves with Good Cryptographic Properties
Our purpose is to describe elliptic curves with complex multiplication which in characteristic 2 have the following useful properties for constructing Diffie-HeUman type cryptosys...
Neal Koblitz
CSL
2008
Springer
15 years 6 months ago
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...
Ian Hodkinson, Angelo Montanari, Guido Sciavicco
DAGSTUHL
2010
15 years 6 months ago
Audio-visual Virtual Reality System for Room Acoustics
We present an audio-visual Virtual Reality display system for simulated sound fields. In addition to the room acoustic simulation by means of phonon tracing and finite element met...
Eduard Deines, Martin Hering-Bertram, Jan Mohring,...
DLT
2010
15 years 6 months ago
On the Average Number of States of Partial Derivative Automata
The partial derivative automaton (Apd) is usually smaller than other non-deterministic finite automata constructed from a regular expression, and it can be seen as a quotient of th...
Sabine Broda, António Machiavelo, Nelma Mor...
SIROCCO
2008
15 years 5 months ago
Self-stabilizing Cuts in Synchronous Networks
Consider a synchronized distributed system where each node can only observe the state of its neighbors. Such a system is called selfstabilizing if it reaches a stable global state ...
Thomas Sauerwald, Dirk Sudholt