Institutions | About Us | Help | Gaeilge
rian logo
A A A
Normal Display Display White Background Display Black Background
Current Search: All of 'computer' and 'science' in all fields;
2969 items found
 
Displaying Results 301 - 325 of 2969 on page 13 of 119
Mark
Towards Efficient Abstractions for Concurrent Consensus (2013)
KOUTAVAS, VASILEIOS
Trinity College Dublin
Conference item
peer-reviewed
Mark
Reverse Hoare Logic (2011)
KOUTAVAS, VASILEIOS
Trinity College Dublin
Conference item
peer-reviewed
Mark
From Applicative to Environmental Bisimulation (2011)
KOUTAVAS, VASILEIOS
Trinity College Dublin
Conference item
peer-reviewed
Mark
A Testing Theory for a Higher-Order Cryptographic Language (2011)
KOUTAVAS, VASILEIOS
Trinity College Dublin
Conference item
peer-reviewed
Mark
Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract) (2013)
KOUTAVAS, VASILEIOS; HENNESSY, MATTHEW
Trinity College Dublin
Conference item
peer-reviewed
Mark
Slicepedia: Automating the Production of Learning Objects from Open Corpus Content (2012)
LAWLESS, SEAMUS
Trinity College Dublin
Conference item
peer-reviewed
Mark
Slicepedia: Towards Long-Tail Resource Production through Open Corpus Reuse (2012)
LAWLESS, SEAMUS
Trinity College Dublin
Conference item
peer-reviewed
Mark
Exploiting proximity in event-based Middleware for collaborative mobile applications (2003)
MEIER, RENE; CAHILL, VINNY
Trinity College Dublin
Conference item
peer-reviewed
Mark
Improving Multiclass Text Classification with Error-Correcting Output Coding and Sub-class Partitions (2010)
VOGEL, CARL; LI, BAOLI
Trinity College Dublin
Book chapter
peer-reviewed
Mark
Slotted-Circus: A UTP-Family of Reactive Theories (2007)
BUTTERFIELD, ANDREW
Trinity College Dublin
Conference item
peer-reviewed
Mark
The Denotational Semantics of Slotted-Circus (2009)
BUTTERFIELD, ANDREW
Trinity College Dublin
Conference item
peer-reviewed
Mark
MoCoA: Customisable middleware for context-aware mobile applications (2006)
CAHILL, VINNY; BOUROCHE, MELANIE
Trinity College Dublin
Journal article
peer-reviewed
Mark
Towards real-time middleware for applications of vehicular ad hoc networks. (2005)
MEIER, RENE; CAHILL, VINNY
Trinity College Dublin
Conference item
peer-reviewed
Mark
An overview of the Tigger object-support operating system framework (1996)
CAHILL, VINNY
Trinity College Dublin
Conference item
peer-reviewed
Mark
An overview on legacy system migration (1997)
WADE, VINCENT PATRICK
Trinity College Dublin
Conference item
peer-reviewed
Mark
Evaluation of APeLS - an adaptive eLearning service based on the multi-model, metadata-driven approach (2004)
CONLAN, OWEN; WADE, VINCENT PATRICK
Trinity College Dublin
Conference item
peer-reviewed
Mark
'Runsort' - An Adaptive Mergesort for Prolog (2005)
BRADY, MICHAEL HAYES
Trinity College Dublin
Report
non-peer-reviewed
Mark
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. (2004)
HENNESSY, MATTHEW
Trinity College Dublin
Journal article
peer-reviewed
Mark
CASSANDRA : A Collaborative Anti Spam System Allowing Node Decentralised Research Algorithms (2003)
Gray, Alan
Trinity College Dublin
Other
unknown
Mark
Hierarchical Case-Based Reasoning: Integrating Case-Based and Decompositional Problem-Solving Techniques for Plant-Control Software Design (1997)
Smyth, Barry; Cunningham, Padraig; Keane, Mark T.
Trinity College Dublin
Report
unknown
Mark
Trust Enhanced Ubiquitous Payment without Too Much Privacy Loss (2004)
Seigneur, Jean-Marc; Jensen, Christian D.
Trinity College Dublin
Report
unknown
Mark
The Role of Identity in Pervasive Computational Trust (2004)
Seigneur, Jean-Marc; Jensen, Christian D.
Trinity College Dublin
Report
unknown
Mark
An Incremental Retrieval Mechanism for Case-Based Electronic Fault Diagnosis (1998)
Cunningham, Padraig; Smyth, Barry; Bonzano, Andrea
Trinity College Dublin
Report
unknown
Mark
Mobile Software Licensing (2003)
DUSPARIC, IVANA
Trinity College Dublin
Report
non-peer-reviewed
Mark
A Multiplayer Case Based Story Engine (2003)
Fairclough, Chris; Cunningham, Padraig
Trinity College Dublin
Report
unknown
Displaying Results 301 - 325 of 2969 on page 13 of 119
Hide Main Menu block
Item Type
Hide Main Menu block
Institution
Hide Main Menu block
Peer Review Status
Hide Main Menu block
Year
NUI Galway Dublin City University University College Cork Maynooth University University College Dublin University of Limerick Trinity College Dublin Mary Immaculate College Dublin Institute of Technology Lenus Dundalk Institute of Technology Marine Institute Teagasc All Ireland Public Health Repository Royal College of Surgeons in Ireland IUA HEA
Legal Information | Copyright Information
built by Enovation Solutions