OAR@UM: Browsing OAR@UM

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 11 to 30 of 31 < previous next >

Issue Date	Title	Author(s)
2011	MIPOGS: Massively Interactive Peer-to-Peer Online Game System	Pilyugin, Oleksiy (2011)
2016	A model-based approach to combining static and dynamic verification techniques	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2016	A monitoring tool for a branching-time logic	Attard, Duncan Paul; Francalanza, Adrian
2017	On the complexity of determinizing monitors	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2016	On the runtime enforcement of evolving privacy policies in online social networks	Pace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2006	P2P VoIP : a peer-to-peer voice over IP application	Cassar, Andre (2006)
2021	Performance comparison of deep CNN models for detecting driver’s distraction	Srinivasan, Kathiravan; Garg, Lalit; Datta, Debajit; Alaboudi, Abdulellah A.; Jhanjhi, N. Z.; Agarwal, Rishav; Thomas, Anmol George
2016	Preliminary results towards contract monitorability	Vella, Annalizz; Francalanza, Adrian
2007	Providing a grid-like experience in a P2P environment	Wadge, Wallace (2007)
2011	Reliable file backup system over p2p architecture	Zerafa, Tyron (2011)
2010	Runtime monitoring of distributed systems	Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2018	Securing calls to ethereum smart contracts with static and dynamic analysis	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2007	Smart web learning applications : the InDy assistant	Camilleri, Vanessa; Montebello, Matthew
2015	A specification language for static and runtime verification of data and control properties	Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2009	Statistics and runtime verification	Gauci, Andrew; Pace, Gordon J.; Colombo, Christian
2015	Synthesising correct concurrent runtime monitors	Francalanza, Adrian; Seychell, Aldrin
1996	System identification using Gaussian Radial Basis Function Neural Networks	Pirotta, Winston (1996)
2017	Trace partitioning and local monitoring for asynchronous components	Attard, Duncan Paul; Francalanza, Adrian
2012	A unified approach for static and runtime verification : framework and applications	Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2017	Verifying data- and control-oriented properties combining static and runtime verification : theory and tools	Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo

Showing results 11 to 30 of 31 < previous next >