3358 search results - page 7 / 672 » Dynamic Description Logics |
EUSFLAT
2009
13 years 6 months ago
2009
CADE
1998
Springer
14 years 24 days ago
1998
Springer
CADE
2006
Springer
14 years 9 days ago
2006
Springer
FOSSACS
2007
Springer
14 years 2 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...
POLICY
2005
Springer
14 years 2 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...