Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Search
Search:
All of OAR@UM
Faculty of Information and Communication Technology
Department of Artificial Intelligence
Department of Communications and Computer Engineering
Department of Computer Information Systems
Department of Computer Science
Department of Microelectronics and Nanoelectronics
Dissertations - FacICT
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 21-30 of 155 (Search time: 0.029 seconds).
previous
1
2
3
4
5
6
...
16
next
Item hits:
Issue Date
Title
Author(s)
2007
Creative processes in policy making : a case for context in foresight
Cassingena Harper, Jennifer
;
Pace, Gordon J.
2004
Support vector machines with profile-based kernels for remote protein homology detection
Busuttil, Steven
;
Abela, John
;
Pace, Gordon J.
2007
Embedding a hardware description language in a functional meta-programming language
Pace, Gordon J.
;
Tabone, Christian
2013
SMock - a test platform for monitoring tools
Colombo, Christian
;
Mizzi, Ruth
;
Pace, Gordon J.
2009
Challenges in the specification of full contracts
Pace, Gordon J.
;
Schneider, Gerardo
2008
Relaxing goodness is still good for SPDIs
Pace, Gordon J.
;
Schneider, Gerardo
2009
On the specification of full contracts
Fenech, Stephen
;
Pace, Gordon J.
;
Okika, Joseph C.
;
Ravn, Anders P.
;
Schneider, Gerardo
2012
Programming compensations for system-monitor synchronisation
Colombo, Christian
;
Pace, Gordon J.
2005
Describing and verifying FFT circuits using SharpHDL
Pace, Gordon J.
;
Vella, Christine
2013
PolyLarva : technology agnostic runtime verification
Colombo, Christian
;
Francalanza, Adrian
;
Mizzi, Ruth
;
Pace, Gordon J.
Discover
Author
55
Colombo, Christian
37
Schneider, Gerardo
13
Azzopardi, Shaun
13
Francalanza, Adrian
11
Ellul, Joshua
9
Ahrendt, Wolfgang
9
Rosner, Michael
7
Schapachnik, Fernando
6
Fenech, Stephen
.
next >
Subject
27
Computer programs -- Verification
26
Aspect-oriented programming
26
Computer software -- Verification
22
Computer software -- Development
19
Deontic logic
16
Autonomous distributed systems
16
Computer hardware description lan...
16
Real-time data processing
14
Computer software -- Testing
.
next >