Browsing Departament d'Informàtica by Subject "62"

Now showing items 1-5 of 5

Application of service composition mechanisms to Future Networks architectures and Smart Grids

Martín de Pozuelo Genís, Ramon (Date of defense: 2017-01-27)

Aquesta tesi gira entorn de la hipòtesi de la metodologia i mecanismes de composició de serveis i com es poden aplicar a diferents camps d'aplicació per a orquestrar de manera eficient comunicacions i processos flexibles ...

Consensus and analia: new challenges in detection and management of security vulnerabilities in data networks

Corral Torruella, Guiomar (Date of defense: 2009-09-10)

A mesura que les xarxes passen a ser un element integral de les corporacions, les tecnologies de seguretat de xarxa es desenvolupen per protegir dades i preservar la privacitat. El test de seguretat en una xarxa permet ...

Contributions to Formal Communication Elimination for System Models with Explicit Parallelism

Babot Pagès, Francesc Xavier (Date of defense: 2009-10-09)

Els mètodes de verificació formal s'estan usant cada vegada més en la indústria per establir la correctessa i trobar els errors en models de sistemes; per exemple la descripció de hardware, protocols, programes distribuïts, ...

General Dynamic Surface Reconstruction: Application to the 3D Segmentation of the Left Ventricle

García Pañella, Oscar (Date of defense: 2004-03-24)

Aquesta tesi descriu la nostra contribució a la reconstrucció tridimensional de les superfícies interna i externa del ventricle esquerre humà. La reconstrucció és un primer procés dins d'una aplicació global de Realitat ...

New Challenges in Quality of Services Control Architectures in Next Generation Networks

Vallejo Blanxart, Àlex (Date of defense: 2010-11-16)

A mesura que Internet i les xarxes IP s'han anat integrant dins la societat i les corporacions, han anat creixent les expectatives de nous serveis convergents així com les expectatives de qualitat en les comunicacions. Les ...