2257 search results - page 351 / 452 » Secure program partitioning |
AGENTS
2001
Springer
14 years 2 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
OOPSLA
2001
Springer
14 years 2 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
OOPSLA
2001
Springer
14 years 2 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
ACSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
SAC
2000
ACM
14 years 2 months ago
2000
ACM
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...