Citation Context

...tion of the SCIFF proof procedure used for the experimentation done in the context of WP6. 10.11 Expressing Interaction in Combinatorial Auction through Social Integrity Constraints (DIFERRARA-UNIBO) =-=[7]-=- Marco Alberti and Federico Chesani and Marco Gavanelli and Alessio Guerri and Evelina Lamma and Paola Mello and Paolo Torroni. “Expressing Interaction in Combinatorial Auction through Social Integrit...

Citation Context

...]. The society model and the SCIFF operational model were satisfactorily tested on a number of applications. These include resource exchange [11], e-commerce protocols [7], and combinatorial auctions =-=[1]-=-. A repository of protocols specified using SCIFF is publicly available through the project’s home page [22]. The SOCS-SI tool [4]) supports SCIFF models and have been used for extensive experimentati...

Citation Context

... Of ComputeeS: a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees.” See [13, 34]. protocols [8], combinatorial auctions =-=[1]-=-, legal contracts [2], and healthcare clinical guidelines [19, 14]. A repository of protocols specified using SCIFF is publicly available through the project’s home page [32]. The SOCS-SI tool [5] sup...