Mostrando ítems 1-3 de 3
Fornells Herrera, Albert (Fecha de defensa: 2007-12-14)
El Raonament Basat en Casos (CBR) és un paradigma d'aprenentatge basat en establir analogies amb problemes prèviament resolts per resoldre'n de nous. Per tant, l'organització, l'accés i la utilització ...
Corral Torruella, Guiomar (Fecha de defensa: 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 ...
Babot Pagès, Francesc Xavier (Fecha de defensa: 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, ...