Browsing by Subject Computer network protocols
Showing results 1 to 10 of 10
Issue Date | Title | Author(s) |
1996 | CSP/Occam on networks of workstations | Vella, Kevin |
2009 | Exploiting adaptive window techniques to reduce TCP congestion in mobile peer networks | Buhagiar, Julian K.; Debono, Carl James |
2013 | Formal security analysis of NFC M-coupon protocols using Casper/FDR | Alshehri, Ali; Briffa, Johann A.; Schneider, Steve; Wesemeyer, Stephan |
2007 | IPv6 network simulation tool | Bailey, David (2007) |
1995 | An occam style communications system for UNIX networks | Vella, Kevin |
2020-12 | Rx-PETaL : a reactive data publishing framework | Vella, Joseph G.; Nezval, Vitezslav; Camilleri, Carl |
2023 | Secure and correct execution of the X3DH protocol through runtime verification | Borg, Kirsty (2023) |
2018 | A smart wearable system for tracking human interactions | Gauci, Neil Martin |
2020 | Towards a hybrid verification methodology for communication protocols (short paper) | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste |
2011 | VHDL implemetation of a DMX512 decoder on a FPGA | Attard, Nicholas; Camilleri, Steve; Drago, Roberto; Hili, Maverick; Casha, Owen; Gatt, Edward; Grech, Ivan |