Listar por autor "Lavado, Leticia"
Mostrando ítems 1-2 de 2
-
A characterisation of reliability tools for Software Defined Networks
Software Defined Network (SDN) is a new paradigm in networking that introduces great flexibility, allowing the dynamic configuration of parts of the network through centralised programming. SDN has been successfully applied ... -
A Simulation Tool for tccp Programs
Gallardo-Melgarejo, María del Mar
; Lavado, Leticia; Panizo-Jaime, Laura (2017-07-24)
The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint ...