Moving and Relocating: A Logical Framework of Service Migration for Software System Survivability.

Published in: SERE (2013)

Keyphrases

logical framework
inference rules
software systems
reasoning tasks
belief revision
software development
possibilistic logic
web services
service providers
special case
linear logic
normative systems
software engineering
epistemic logic
automated reasoning
training data
high level
machine learning
coalition logic