3358 search results - page 7 / 672 » Dynamic Description Logics |
127
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
119
click to vote
POLICY
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we describe the use of description logic as the basis for a policy representation language and show how it is used in our implementation of a policy managed pervasi...