3971 search results - page 265 / 795 » On the Use of Properties in Java Applications |
244
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
161
click to vote
GRAPHITE
2004
ACM
16 years 1 days ago
2004
ACM
Several factors currently limit the size of Virtual Reality Modeling Language (VRML) models that can be effectively visualized over the Web. Main factors include network bandwidth...
197
click to vote
CASSIS
2004
Springer
16 years 5 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...
163
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
164
click to vote
WOA
2000
15 years 8 months ago
2000
Big changes are taking place in the area of information supply and demand on Internet. The first big change, which took place quite a while ago, is related to the type of informat...