26496 search results - page 390 / 5300 » An Approach to Computing Ethics |
178
click to vote
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
144
click to vote
OOPSLA
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes the process used to extend the Boost Graph Library (BGL) for parallel operation with distributed memory. The BGL consists of a rich set of generic graph algor...
173
click to vote
AOSE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
166
click to vote
ERCIMDL
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
151
click to vote
ICAIL
2003
ACM
16 years 3 days ago
2003
ACM
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...