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 1 to 20 of 31 next >

Issue Date	Title	Author(s)
2017	A calculus supporting contract reasoning and monitoring	Cambronero, Maria-Emilia; Llana, Luis; Pace, Gordon J.
2009	CLAN : a tool for contract analysis and conflict discovery	Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2012	Considerations for monitoring highly concurrent systems	Mizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2014	Declarative service composition	Remeli, Viktor (2014)
2010	A distributed file indexing and search system	Caruana, Roderick (2010)
2011	Distributed system contract monitoring	Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2012	Fast-forward runtime monitoring - an industrial case study	Colombo, Christian; Pace, Gordon J.
2018	A globally optimised multipath routing algorithm using SDN	Farrugia, Noel; Buttigieg, Victor; Briffa, Johann A.
2006	Hyperlink analysis using temporal logic	Barbara, Mark (2006)
2020-12	福利在线免费 systems and management science	Garg, Lalit; Kesswani, Nishtha; Vella, Joseph G.; Xuereb, Peter Albert; Lo, Man Fung; Diaz, Rowell; Misra, Sanjay; Gupta, Vipul; Randhawa, Princy
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; 滨苍驳贸濒蹿蝉诲贸迟迟颈谤,&#虫20;础苍苍补; 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	笔别谤蹿辞谤尘补苍肠别&#虫20;肠辞尘辫补谤颈蝉辞苍&#虫20;辞蹿&#虫20;诲别别辫&#虫20;颁狈狈&#虫20;尘辞诲别濒蝉&#虫20;蹿辞谤&#虫20;诲别迟别肠迟颈苍驳&#虫20;诲谤颈惫别谤鈥檚&#虫20;诲颈蝉迟谤补肠迟颈辞苍	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)

Showing results 1 to 20 of 31 next >

福利在线免费

Browsing by Subject Computer network architectures