18429 search results - page 3299 / 3686 » Typing dynamic typing |
164
click to vote
POLICY
2007
Springer
16 years 29 days ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
205
click to vote
PPDP
2007
Springer
16 years 29 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
213
click to vote
PPDP
2007
Springer
16 years 29 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
194
click to vote
RAID
2007
Springer
16 years 29 days ago
2007
Springer
Spyware infections are becoming extremely pervasive, posing a grave threat to Internet users’ privacy. Control of such an epidemic is increasingly difficult for the existing def...
189
click to vote
SEMWEB
2007
Springer
16 years 29 days ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...