1579 search results - page 38 / 316 » On the Constructions of Constant-Weight Codes |
JSYML
2008
14 years 9 months ago
2008
In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the c...
67
Voted
DM
1999
14 years 9 months ago
1999
We construct a large number of record-breaking binary, ternary and quaternary codes. Our methods involve the study of BCH-codes over larger fields, concatenation, construction X a...
172
click to vote
ICDE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the methodology and the software development of XWRAP, an XML-enabled wrapper construction system for semi-automatic generation of wrapper programs. By XML-ena...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
IACR
2011
13 years 9 months ago
2011
We describe a systematic framework for using a stream cipher supporting an initialisation vector (IV) to perform various tasks of authentication and authenticated encryption. These...