<\/p>\n
<\/p>\n
The annual PADS conference has a long history dating back to 1985. The conference was formerly known under the name Principles of Advanced and Distributed Simulation, and before that simply Parallel and Distributed Simulation.<\/p>\n
SIGSIM PADS provides a unique forum for reporting and discussing research results and important topics of interest to the M&S community. SIGSIM PADS is the flagship conference of ACM’s Special Interest Group on Simulation and Modeling (SIGSIM) and is fully sponsored by that organization.<\/p>\n
<\/p>\n
INSISOC<\/strong> is participating in this conference, presenting the following paper:<\/p>\n <\/p>\n Session 5: Modeling and Prediction Approaches<\/a><\/p>\n <\/p>\n Authors<\/strong> <\/p>\n Abstract<\/strong> <\/p>\n","protected":false},"parent":0,"template":"","class_list":["post-5303","te_announcements","type-te_announcements","status-publish","hentry"],"announcement_date":"Announcement Date: 23 mayo, 2018","announcement_image":{"iframe":false,"url":"https:\/\/www.insisoc.uva.es\/wp-content\/uploads\/2018\/05\/Foto-Conferencia-Roma.jpg"},"_links":{"self":[{"href":"https:\/\/www.insisoc.uva.es\/index.php\/wp-json\/wp\/v2\/announcement\/5303","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.insisoc.uva.es\/index.php\/wp-json\/wp\/v2\/announcement"}],"about":[{"href":"https:\/\/www.insisoc.uva.es\/index.php\/wp-json\/wp\/v2\/types\/te_announcements"}],"wp:attachment":[{"href":"https:\/\/www.insisoc.uva.es\/index.php\/wp-json\/wp\/v2\/media?parent=5303"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n<\/a>\u00abFormal Abstract Modeling of Dynamic Multiplex Networks\u00bb<\/a><\/strong><\/span><\/h5>\n
\nCristina Ruiz Mart\u00edn<\/a> (1), Gabriel Wainer (2), Adolfo Lopez-Paredes<\/a> (1)
\n(1) INSISOC<\/a>, Valladolid, Spain;
\n(2) Carleton University, Ottawa, ON, Canada.
\nContact:\u00a0cruiz@eii.uva.es<\/a><\/p>\n
\nWe describe an Abstract Model for Diffusion Processes to simulate diffusion processes in multiplex dynamic networks using formal modeling and simulation (M&S) methodologies (in this case, the DEVS formalism). This approach helps the users to implement diffusion processes over a network by using the network specification and the diffusion rules. The result of combining the network specifications and the diffusion rules is an Abstract Model for Diffusion Processes, which is formally defined in DEVS, and can be converted into a computerized model. Using the proposed Abstract Model for Diffusion Processes, we can study a diffusion process in multiplex networks with a formal simulation algorithm, improving the model\u2019s definition. We present a case study using the CDBoost simulation engine.<\/p>\n