کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422567 685108 2008 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Game Theoretic Approach to the Analysis of Dynamic Networks 1
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Game Theoretic Approach to the Analysis of Dynamic Networks 1
چکیده انگلیسی

A model of dynamic networks is introduced which incorporates three kinds of network changes: deletion of nodes (by faults or sabotage), restoration of nodes (by actions of “repair”), and creation of nodes (by actions that extend the network). The antagonism between the operations of deletion and restoration resp. creation is modelled by a game between the two agents “Destructor” and “Constructor”. In this framework of dynamic model-checking, we consider as specifications (“winning conditions” for Constructor) elementary requirements on connectivity of those networks which are reachable from some initial given network. We show some basic results on the (un-)decidability and hardness of dynamic model-checking problems.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 200, Issue 2, 29 February 2008, Pages 21-37