9186 search results - page 231 / 1838 » A Module System for Scheme |
173
click to vote
ACISP
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we propose the first identity-based chameleon hash scheme without key exposure, which gives a positive answer for the open problem introduced by Ateniese and de Mede...
179
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
141
click to vote
AFRICACRYPT
2008
Springer
16 years 29 days ago
2008
Springer
In this paper, we investigate the security of the Tractable Rationale Maps Signature (TRMS) signature scheme [9] proposed at PKC’05. To do so, we present a hybrid approach for so...
224
click to vote
SIES
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present an application of an open source platform for wireless body sensor network called DexterNet to the problem of children’s asthma. The architecture of the system cons...
198
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...