Titlebook: Assurances for Self-Adaptive Systems; Principles, Models, Javier Cámara,Rogério Lemos,Antónia Lopes Book 2013 Springer-Verlag Berlin Heide

COM

myriad

場(chǎng)所

享樂(lè)主義者

Javier Cámara,Rogério Lemos,Antónia LopesContains papers from recognized experts.Valuable for both practitioners and researchers.Stepping stone for future research

Aprope

詞匯表

Assurances for Self-Adaptive Systems978-3-642-36249-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

LVAD360

https://doi.org/10.1007/978-3-8350-9338-6iques at run time represent one of them since they support automatic reasoning about such changes, detect harmful configurations, and potentially enable appropriate (self-)reactions. However, traditional model checking techniques and tools may not be applied as they are at run time, since they hardl

condescend

Zertifikations- und Delegationsketten,setting up, (re)configuring, and monitoring these applications is a real burden since a software application may depend on several remote software and virtual machine configurations. These management tasks involve many complex protocols, which fully automate these tasks while preserving application

vector

Privilege-Management-Infrastrukturen,systems make autonomous decisions, their behavior is hard to predict. Without behavioral guarantees their acceptance, especially in safety critical applications, is arguable. This chapter presents a rigorous specification and verification approach for self-* systems that allows giving behavioral gua

FRET