769 search results - page 120 / 154 » Is Logic all in our Heads |
LOGCOM
2002
13 years 10 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
IPL
2010
13 years 9 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
IS
2010
13 years 9 months ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
UIC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Runtime detection of contextual properties is one of the primary approaches to enabling context-awareness. Existing property detection schemes implicitly assume that cont...
CNSM
2010
2010
Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains
13 years 9 months ago
Abstract--Change Management, a core process of the Information Technology Infrastructure Library (ITIL), is concerned with the management of changes to IT infrastructure and servic...