Sciweavers

4820 search results - page 447 / 964
» Implementing Signatures for C
Sort
View
156
Voted
ASP
2003
Springer
15 years 10 months ago
A Java Wrapper for DLV
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
Francesco Ricca
CIA
2003
Springer
15 years 10 months ago
Organisational Change: Deliberation and Modification
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
Catholijn M. Jonker, Martijn C. Schut, Jan Treur
GPCE
2003
Springer
15 years 10 months ago
Concept-Controlled Polymorphism
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...
149
Voted
IMA
2003
Springer
125views Cryptology» more  IMA 2003»
15 years 10 months ago
Commitment Capacity of Discrete Memoryless Channels
In extension of the bit commitment task and following work initiated by Crépeau and Kilian, we introduce and solve the problem of characterising the optimal rate at which a discr...
Andreas Winter, Anderson C. A. Nascimento, Hideki ...
119
Voted
INDOCRYPT
2003
Springer
15 years 10 months ago
On the Construction of Prime Order Elliptic Curves
We consider a variant of the Complex Multiplication (CM) method for constructing elliptic curves (ECs) of prime order with additional security properties. Our variant uses Weber po...
Elisavet Konstantinou, Yannis C. Stamatiou, Christ...