983 search results - page 118 / 197 » Object-oriented Abstractions for Distributed Programming |
134
Voted
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
119
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
148
Voted
ASIAN
2009
Springer
15 years 10 days ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
130
click to vote
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
104
click to vote
LCTRTS
2005
Springer
15 years 8 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...