<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Smart Contract Negotiation in Cloud Computing"^^ . "A smart contract is the formalisation of an agreement, whose terms are automatically enforced by relying on a transaction protocol, while minimising the need of intermediaries. Such contracts not only specify the service and its quality but also the possible changes at runtime of the terms of agreement. Although smart contracts provide a great deal of flexibility, analysing their compatibility and reaching agreements with this level of dynamism is considerably more challenging, due to the freedom of clients and providers in formulating needs/offers. We introduce a formal language to specify interactions between offers and requests and present a methodology for the autonomous negotiation of smart contracts, which analyses the cost and the necessary changes for reaching an agreement. Moreover, we describe a set of experiments that provides insights on the relative cost of dynamism in negotiating smart contracts and compare the request/offer matching rates of our solution with related works."^^ . "2017" . . . "IEEE"^^ . . "IEEE"^^ . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Scoca"^^ . "Vincenzo"^^ . "Scoca Vincenzo"^^ . . "Rafael Brundo"^^ . "Uriarte"^^ . "Rafael Brundo Uriarte"^^ . . . . "10th International Conference on Cloud Computing (CLOUD)"^^ . . . . . "Honolulu, CA, USA"^^ . . . . . "HTML Summary of #3948 \n\nSmart Contract Negotiation in Cloud Computing\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .