397 search results - page 19 / 80 » Causal Reasoning with Contexts Using Dependent Types |
143
Voted
CMS
2006
15 years 5 months ago
2006
This paper presents a model for delegation based on partial orders, proposing the subclass relation in OWL as a way to represent the partial orders. Delegation and authorization de...
127
Voted
SCP
2008
15 years 3 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
122
Voted
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
174
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
126
click to vote
KSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...