IIT Home Page CNR Home Page

Automated adaptation via quantitative partial model checking.

We propose a formal framework to model an automated adaptation protocol based on Quantitative Partial Model Checking (QPMC). An agent seeks the collaboration of a second agent to satisfy some ( xed) condition on the actions to be executed. The provided protocol allows the two agents to automatically agree by iteratively applying QPMC.


SAC 2016, Pisa, 2016

Autori esterni: Stefano Bistarelli (Università di Perugia), Francesco Santini (Università di Perugia)
Autori IIT:

Tipo: Contributo in atti di convegno
Area di disciplina: Information Technology and Communication Systems

File: main.pdf

Attività: Architetture, protocolli e meccanismi di sicurezza per sistemi e servizi distribuiti