3852 search results - page 616 / 771 » Construction of Codes for Network Coding |
146
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
184
click to vote
EDOC
2006
IEEE
16 years 17 days ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
204
click to vote
ISSTA
2006
ACM
16 years 14 days ago
2006
ACM
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
169
click to vote
ML
2006
ACM
16 years 14 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
151
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...