3595 search results - page 475 / 719 » Roles of Program Extension |
175
click to vote
ICTCS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
148
click to vote
ICWL
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents an online authoring system that allows users to create interactive course content and course structure on the Internet in a fast and easy way without any progra...
162
click to vote
IH
2005
Springer
16 years 2 days ago
2005
Springer
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
160
click to vote
RULEML
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
152
click to vote
SAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...