5757 search results - page 38 / 1152 » Dynamic Policy Programming |
106
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
103
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
— In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is now much more complex. Subt...
CN
2000
15 years 12 days ago
2000
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...
TSE
2002
15 years 6 days ago
2002
101
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...