Sciweavers

4820 search results - page 447 / 964
» Implementing Signatures for C
Sort
View
ASP
2003
Springer
16 years 2 days 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
16 years 2 days 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
16 years 1 days 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...
IMA
2003
Springer
125views Cryptology» more  IMA 2003»
16 years 1 days 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 ...
INDOCRYPT
2003
Springer
16 years 1 days 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...