2257 search results - page 133 / 452 » Secure program partitioning |
96
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
110
Voted
VEE
2005
ACM
15 years 6 months ago
2005
ACM
Virtual execution environments have become increasingly useful in system implementation, with dynamic translation techniques being an important component for performance-critical ...
191
Voted
POPL
2005
ACM
16 years 28 days ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
92
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
ide, applications are programmed in an abstract manner describing essentially the chemical coordination between (not necessarily chemical) software components. On the other side, c...
133
Voted
SIGMOD
2010
ACM
15 years 25 days ago
2010
ACM
Most previous research on privacy-preserving data publishing, based on the k-anonymity model, has followed the simplistic approach of homogeneously giving the same generalized val...