186 search results - page 25 / 38 » Mechanizing metatheory in a logical framework |
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
CONTEXT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
102
click to vote
FOSSACS
2001
Springer
15 years 4 months ago
2001
Springer
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
A central issue in relational learning is the choice of an appropriate bias for limiting first-order induction. The purpose of this study is to circumvent this issue within a unifo...
124
click to vote
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...