4099 search results - page 376 / 820 » A Framework for Interactive Proof |
161
click to vote
GECCO
2003
Springer
16 years 26 days ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
165
click to vote
GLVLSI
2002
IEEE
16 years 18 days ago
2002
IEEE
— The high-order compact finite difference (HCFD) method is adapted for interconnect modeling. Based on the compact finite difference method, the HCFD method employs the Chebys...
198
click to vote
PRDC
2002
IEEE
16 years 17 days ago
2002
IEEE
In this paper, we present a consensus algorithm for synchronous distributed systems using cooperating mobile agents. The algorithm is designed within a framework for mobile agent ...
180
click to vote
KR
2010
Springer
16 years 13 days ago
2010
Springer
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...
181
click to vote
CSFW
2000
IEEE
16 years 2 days ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...