4211 search results - page 504 / 843 » Types as Abstract Interpretations |
197
click to vote
CASSIS
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
172
click to vote
CLEF
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. This paper describes an experimental investigation of interactive techniques for cross-language information access. The task was to answer factual questions from a large ...
171
click to vote
CSL
2004
Springer
16 years 12 hour ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
156
click to vote
GPCE
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. Meta-AspectJ (MAJ) is a language tool for generating AspectJ programs using code templates. MAJ itself is an extension of Java, so users can interleave arbitrary Java cod...
180
click to vote
ICDCIT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Organizations are increasingly using the the eXtensible Markup Language (XML) for document representation and exchange on the Web. To protect an XML document from unautho...