1412 search results - page 36 / 283 » types 2004 |
TCC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We investigate whether it is possible to obtain any meaningful type of zero-knowledge proofs using a one-message (i.e., noninteractive) proof system. We show that, under ...
COMBINATORICS
2004
13 years 8 months ago
2004
In this paper, we examine partitions classified according to the number r() of odd parts in and s() the number of odd parts in , the conjugate of . The generating function for ...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...
OTM
2004
Springer
14 years 2 months ago
2004
Springer
This paper investigates basic research issues that need to be addressed in order to reuse learning objects in a flexible way. We propose an ontology based approach. Our ontology f...
SAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...