2257 search results - page 383 / 452 » Secure program partitioning |
DSOM
2003
Springer
14 years 2 months ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we explore flexible name resolution as a way of supporting extensibility for wide-area distributed services. Our approach, called Active Names, maps names to a cha...
LICS
2002
IEEE
14 years 1 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...
OOPSLA
2009
Springer
14 years 1 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
DATE
2004
IEEE
14 years 18 days ago
2004
IEEE
Embedded software is becoming more flexible and adaptable, which presents new challenges for management of highly constrained system resources. Software dynamic translation is a t...