3852 search results - page 577 / 771 » Construction of Codes for Network Coding |
180
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
177
click to vote
EGC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We describe the idea of a Science Gateway, an applicationspecific task wrapped as a web service, and some examples of these that are being implemented on the US TeraGrid...
174
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
200
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
198
click to vote
FPGA
2004
ACM
15 years 12 months ago
2004
ACM
We present a cryptographic architecture optimization technique called divide-and-concatenate based on two observations: (i) the area of a multiplier and associated data path decre...