1399 search results - page 172 / 280 » Multi-party Finite Computations |
134
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
135
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Energy consumption is a major factor that limits the performance of sensor applications. Sensor nodes have varying sampling rates since they face continuously changing en...
140
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
108
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
184
click to vote
ENC
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a hardware architecture for an Elliptic Curve Cryptography System performing the three basic cryptographic schemes: DH key generation, encryption and digital signature....