410 search results - page 13 / 82 » Making norms concrete |
JAPLL
2011
13 years 2 months ago
2011
Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitme...
VMCAI
2004
Springer
14 years 25 days ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
PPPJ
2009
ACM
14 years 2 months ago
2009
ACM
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
FSE
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we propose the Grindahl hash functions, which are based on components of the Rijndael algorithm. To make collision search sufficiently difficult, this design has the...
DEXAW
2005
IEEE
14 years 1 months ago
2005
IEEE
Today, management and tuning questions are approached using if...then... rules of thumb. This reactive approach requires expertise regarding of system behavior, making it difficu...