3573 search results - page 302 / 715 » Reasoning about Codata |
187
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
172
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
193
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
195
click to vote
POLICY
2007
Springer
16 years 1 months ago
2007
Springer
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...
151
click to vote
DSD
2006
IEEE
16 years 1 months ago
2006
IEEE
Modern day applications require use of multi-processor systems for reasons of scalability and power efficiency. As more and more applications are integrated on a single device, m...