754 search results - page 108 / 151 » Nested Expressions in Logic Programs |
129
Voted
EUROSYS
2007
ACM
15 years 6 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
139
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
238
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
147
Voted
SDMW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
146
click to vote
POPL
1993
ACM
15 years 6 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...