3852 search results - page 175 / 771 » Construction of Codes for Network Coding |
157
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
130
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—We introduce a collaboration-driven approach to the sharing of the available bandwidth in wireless ad hoc networks, which we call many-to-many cooperation, that allows concurren...
107
click to vote
DCC
2008
IEEE
16 years 4 months ago
2008
IEEE
We present two families of constacyclic linear codes with large automorphism groups. The codes are obtained from the twisted tensor product construction. AMS subject classificatio...
119
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
128
click to vote
ISW
1997
Springer
15 years 8 months ago
1997
Springer
This paper gives a survey of attacks on Message Authentication Codes (MACs). First it defines the required security properties. Next it describes generic forgery and key recovery...