21 search results - page 3 / 5 » Structuring Safety Policy Decomposition |
PLDI
2003
ACM
13 years 11 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
ESOP
2001
Springer
13 years 10 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
ICC
2008
IEEE
14 years 21 days ago
2008
IEEE
— A novel singular value decomposition (SVD) aided uplink (UL) multiuser MIMO system is proposed. In contrast to the traditional minimum mean square error (MMSE) or zeroforcing (...
CORR
2011
Springer
12 years 10 months ago
2011
Springer
Supply chain formation is the process of determining the structure and terms of exchange relationships to enable a multilevel, multiagent production activity. We present a simple ...
CONCUR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...