OAR@UM: Browsing OAR@UM

Browsing by Subject Computer programming

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)
2013-10	Applying runtime verification techniques to enterprise service bus architectures	Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2013	Augmenting synchronous and asynchronous monitors in ELARVA	Galea Valletta, Clifford (2013)
2020	Behavioural APIs for Erlang processes	Zahra, Gianluca (2020)
1992	Compression schemes for two-tone images : Part B - Decoding	Dimech, Marthese (1992)
2021	Computer says no : verdict explainability for runtime monitors using a local proof	Francalanza, Adrian; Cini, Clare
1992	A CPU control circuit for a cash register with automatic change resolving mechanism	Zammit, Silvio (1992)
2006	E-commerce web application showcase and toolkit with automatic profile moderation system	Silin, Stanislav (2006)
2023	ElixirST : a session-based type system for Elixir modules	Francalanza, Adrian; Tabone, Gerard
2009-09	FLACOS’09 Workshop proceedings	Pace, Gordon J.; Schneider, Gerardo
2008	A framework for the automatic detection and evaluation of sentiment in text	Phyall, David (2008)
2018-12	Full-abstraction for client testing preorders	Bernardi, Giovanni; Francalanza, Adrian
1992	Interactions between logic programming and other AI techniques using portable AI lab	Baj, Fabio; Rosner, Michael
2013	Investigating the potential of mobile devices as a means of reliable data collection	Portelli, Duncan (2013)
2014	Investigating the use of DSLs in testing graphical games	Grixti, Alan (2014)
2012	Investigating ways to make mutation testing feasible in agile environments	Cachia, Mark Anthony (2012)
2004	Merge interactions : a new heuristic for automata learning	Spina, Sandro (2004)
2013	Monitoring distributed systems with distributed PoLYLARVA	Cassar, Ian (2013)
2024	A monitoring tool for linear-time 𝜇HML	Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
2020	On implementing and evaluating the raft distributed consensus algorithm	Le Brun, Matthew Alan (2020)
2006	Personalised service discovery and composition based on conversational case-based reasoning	Abela, Charlie

Showing results 1 to 20 of 31 next >