OAR@UM: Browsing OAR@UM

Browsing by Subject Software architecture

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 23 next >

Issue Date	Title	Author(s)
1993	Animal activity monitoring system	Saliba, Helen (1993)
2009	Automatic conflict detection on contracts	Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2010	Building a network for collaborative authoring through software agents	Sacco, Owen (2010)
2009	CLAN : a tool for contract analysis and conflict discovery	Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2014	Compiling compensating automata	Borg, Dylan (2014)
2018	Considering academia-industry projects meta-characteristics in runtime verification design	Colombo, Christian; Pace, Gordon J.
2018	COST Action IC1402 runtime verification beyond monitoring	Colombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
1993	The design of an eight bit barrel shifter using MCE gate array design software	Montebello, Louis (1993)
2008	Detection of conflicts in electronic contracts	Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2009	An embedded operating system for ARM processors	Seguna, Clive (2009)
2010	Enhancing collaboration in software development	Aquilina, Melanie (2010)
1994	Four-legged motion	Fenech, Simone (1994)
2003	A framework for rule-based personalized applications	Psaila, Sandro (2003)
2001	Gaming and betting with special reference to the digital environment	Vella, Angele
2014	Integration operators for generating RDF/OWL-based user defined mediator views in a grid environment	Tawil, Abdel Rahman Hani; Taweel, Adel; Naeem, Usman; Montebello, Matthew; Bashroush, Rabih; Al-Nemrat, Ameer
2003	The landscape of markup languages for web service composition	Solanki, Monika; Abela, Charlie
2007	Ontology workshop	Mizzi, Clint (2007)
2015	Player experience in FPS games	Aquilina, Luke (2015)
2007	Proving distributed algorithm correctness using fault tolerance bisimulations	Francalanza, Adrian; Hennessy, Matthew
1999	A RISC implementation of the asynchronous computing engine	Montanaro Gauci, David (1999)

Showing results 1 to 20 of 23 next >