2685 search results - page 469 / 537 » A Formal Semantics for SPKI |
211
click to vote
JELIA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
189
click to vote
KR
2004
Springer
16 years 4 days ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
160
Voted
OOPSLA
2004
Springer
16 years 3 days ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
149
click to vote
OOPSLA
2004
Springer
16 years 3 days ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
169
click to vote
POLICY
2004
Springer
16 years 3 days ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...