4690 search results - page 67 / 938 » An operational semantics for Scheme |
104
click to vote
AINA
2004
IEEE
15 years 3 months ago
2004
IEEE
At the conference Asiacrypt 2001, Rivest, Shamir and Tauman firstly addressed the concept of ring signature. In this paper we propose an identity-based ring signature scheme from ...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
ABSTRACT: An active leakage-injection scheme (ALIS) for lowvoltage (LV) high-density (HD) SRAMs is presented. By means of a feedback loop comprising a servo-amplifier and a commond...
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract— The vision of ad-hoc networking with Bluetooth includes the concept of devices participating in multiple ”piconets” and thereby forming a ”scatternet”. However,...
101
click to vote
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
CALCO
2005
Springer
15 years 5 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...