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 22  next >
Issue DateTitleAuthor(s)
1993Animal activity monitoring systemSaliba, Helen (1993)
2009Automatic conflict detection on contractsFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2010Building a network for collaborative authoring through software agentsSacco, Owen (2010)
2009CLAN : a tool for contract analysis and conflict discoveryFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2014Compiling compensating automataBorg, Dylan (2014)
2018Considering academia-industry projects meta-characteristics in runtime verification designColombo, Christian; Pace, Gordon J.
2018COST Action IC1402 runtime verification beyond monitoringColombo, Christian; Falcone, Yli├Ęs; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
1993The design of an eight bit barrel shifter using MCE gate array design softwareMontebello, Louis (1993)
2008Detection of conflicts in electronic contractsFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2009An embedded operating system for ARM processorsSeguna, Clive (2009)
2010Enhancing collaboration in software developmentAquilina, Melanie (2010)
1994Four-legged motionFenech, Simone (1994)
2003A framework for rule-based personalized applicationsPsaila, Sandro (2003)
2001Gaming and betting with special reference to the digital environmentVella, Angele
2014Integration operators for generating RDF/OWL-based user defined mediator views in a grid environmentTawil, Abdel Rahman Hani; Taweel, Adel; Naeem, Usman; Montebello, Matthew; Bashroush, Rabih; Al-Nemrat, Ameer
2007Ontology workshopMizzi, Clint (2007)
2015Player experience in FPS gamesAquilina, Luke (2015)
2007Proving distributed algorithm correctness using fault tolerance bisimulationsFrancalanza, Adrian; Hennessy, Matthew
1999A RISC implementation of the asynchronous computing engineMontanaro Gauci, David (1999)
2008The role of I.T. in internal auditZammit, Marica (2008)