Browsing by Subject Computer network architectures

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 7 to 26 of 31 < previous   next >
Issue DateTitleAuthor(s)
2012Fast-forward runtime monitoring - an industrial case studyColombo, Christian; Pace, Gordon J.
2018A globally optimised multipath routing algorithm using SDNFarrugia, Noel; Buttigieg, Victor; Briffa, Johann A.
2006Hyperlink analysis using temporal logicBarbara, Mark (2006)
2020-12Information systems and management scienceGarg, Lalit; Kesswani, Nishtha; Vella, Joseph G.; Xuereb, Peter; Lo, Man Fung; Diaz, Rowell; Misra, Sanjay; Gupta, Vipul; Randhawa, Princy
2011MIPOGS: Massively Interactive Peer-to-Peer Online Game SystemPilyugin, Oleksiy (2011)
2016A model-based approach to combining static and dynamic verification techniquesAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2016A monitoring tool for a branching-time logicAttard, Duncan Paul; Francalanza, Adrian
2017On the complexity of determinizing monitorsAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2016On the runtime enforcement of evolving privacy policies in online social networksPace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2006P2P VoIP : a peer-to-peer voice over IP applicationCassar, Andre (2006)
2021Performance comparison of deep CNN models for detecting driver’s distractionSrinivasan, Kathiravan; Garg, Lalit; Datta, Debajit; Alaboudi, Abdulellah A.; Jhanjhi, N. Z.; Agarwal, Rishav; Thomas, Anmol George
2016Preliminary results towards contract monitorabilityVella, Annalizz; Francalanza, Adrian
2007Providing a grid-like experience in a P2P environmentWadge, Wallace (2007)
2011Reliable file backup system over p2p architectureZerafa, Tyron (2011)
2010Runtime monitoring of distributed systemsFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2018Securing calls to ethereum smart contracts with static and dynamic analysisAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2007Smart web learning applications : the InDy assistantCamilleri, Vanessa; Montebello, Matthew
2015A specification language for static and runtime verification of data and control propertiesAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2009Statistics and runtime verificationGauci, Andrew; Pace, Gordon J.; Colombo, Christian
2015Synthesising correct concurrent runtime monitorsFrancalanza, Adrian; Seychell, Aldrin