DMCA
A Taxonomy for Ensuring Institutional Compliance in Utility Computing
by
Guido Boella
,
Pablo Noriega
,
Gabriella Pigozzi
,
Guido Boella
,
Pablo Noriega
,
Gabriella Pigozzi
,
Harko Verhagen (eds
,
Guido Noriega
,
Pablo Pigozzi
,
Guido Pigozzi
,
Gabriella Van Der Torre
,
Bastin Tony
,
Roy Cranefield
,
Giulia Tummolini
,
Luca Castelfranchi
,
Cristiano Conte
,
Patrice Van Der Torre
,
Olivier Hübner
,
Jomi Fred
,
Christophe Roussel
,
Stéphanie Cholvy
,
Balke Tina
BibTeX
@MISC{Boella_ataxonomy,
author = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen (eds and Guido Noriega and Pablo Pigozzi and Guido Pigozzi and Gabriella Van Der Torre and Bastin Tony and Roy Cranefield and Giulia Tummolini and Luca Castelfranchi and Cristiano Conte and Patrice Van Der Torre and Olivier Hübner and Jomi Fred and Christophe Roussel and Stéphanie Cholvy and Balke Tina},
title = {A Taxonomy for Ensuring Institutional Compliance in Utility Computing},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A modal logic for reasoning on consistency and completeness of regulations
