2257 search results - page 170 / 452 » Secure program partitioning |
131
Voted
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED pronounced indee...
97
Voted
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
101
click to vote
ANOR
2008
15 years 1 months ago
2008
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
143
Voted
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...
121
Voted
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...