Sciweavers

2416 search results - page 20 / 484
» The design and implementation of typed scheme
Sort
View
LFP
1990
101views more  LFP 1990»
13 years 9 months ago
A Module System for Scheme
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
Pavel Curtis, James Rauen
CN
2004
102views more  CN 2004»
13 years 8 months ago
Comparing economic incentives in peer-to-peer networks
Users who join a peer-to-peer network have, in general, suboptimal incentives to contribute to the network, because of the externalities that exist between them. The result is an ...
Panayotis Antoniadis, Costas Courcoubetis, Robin M...
CSREASAM
2009
13 years 9 months ago
A Tripartite Strong Designated Verifier Scheme Based On Threshold RSA Signatures
In this paper we propose a new designated verifier signature scheme based on the threshold signature scheme presented [8] by Ghodosi and Pieprzyk. The advantages of the new scheme ...
Jerome Dossogne, Olivier Markowitch
ASE
2010
77views more  ASE 2010»
13 years 8 months ago
Type safety for feature-oriented product lines
A feature-oriented product line is a family of programs that share a common set of features. A feature implements a stakeholder's requirement and represents a design deci
Sven Apel, Christian Kästner, Armin Grö&...
FPGA
2005
ACM
156views FPGA» more  FPGA 2005»
14 years 2 months ago
Design of programmable interconnect for sublithographic programmable logic arrays
Sublithographic Programmable Logic Arrays can be interconnected and restored using nanoscale wires. Building on a hybrid of bottom-up assembly techniques supported by conventional...
André DeHon