Browsing Computer Science by Title
Now showing items 802-821 of 2087
-
A Framework for Incremental Construction of Real Global Smart Space Applications
(2009)This article describes a standardised way to build context-aware global smart space applications using information that is distributed across independent (legacy, sensor-enabled, and embedded) systems by exploiting the ... -
A framework for integrating existing and novel intelligent transportation systems
(IEEE Computer Society, 2005)Efficient use and re-use of traffic data depends on an ITS architecture that enables information sharing across a wide variety of intelligent transportation systems and applications. Existing ITS architectures, such as ... -
A Framework for the Evaluation of Adaptive IR Systems through Implicit Recommendation
(Springer-Verlag LNCS, 2011)Personalised Information Retrieval (PIR) has gained considerable attention in recent literature. In PIR different stages of the retrieval process are adapted to the user, such as adapting the user?s query or the results. ... -
A Framework Providing Fault Tolerance Using the CORBA Trading Service.
(Trinity College Dublin. Department of Computer Science, 1998-09)This thesis describes a body of research into the fault tolerance problem associated with the use of large scale distributed systems and a partial solution to the problem. Fault tolerance problems arise in such an ... -
A Framework to Provide Customized Reuse of Open Corpus Content for Adaptive Systems
(ACM, 2015)One of the main services that Adaptive Systems offer to their users is the provision of content that is tailored to individual user’s needs. Some Adaptive Systems use a closed corpus content that has been prepared for them ... -
A Framework to Provide Customized Reuse of Open Corpus Content for Adaptive Systems
(ACM, 2015-08-24)One of the main services that Adaptive Systems offer to their users is the provision of content that is tailored to individual user’s needs. Some Adaptive Systems use a closed corpus content that has been prepared for them ... -
A Framework to Support and Evaluate the Participation of Children with Autism in the Design of Technology
(Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2020)As the availability of technology developed for children with autism has increased, an awareness of the benefits of designing technology with them has also improved. However, the intellectual, communication and social ... -
From Applicative to Environmental Bisimulation
(Elsevier, 2011) -
From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
(Springer, 2022)We present a bounded equivalence verification technique for higher-order programs with local state. This technique combines fully abstract symbolic environmental bisimulations similar to symbolic game semantics, novel up-to ... -
From CCS to CSP: the m-among-n Synchronisation Approach
(Open Publishing Association, 2022)We present an alternative translation from CCS to an extension of CSP based on m-among-n syn chronisation (called CSPmn). This translation is correct up to strong bisimulation. Unlike the g-star renaming approach ([4]), ... -
From Subjects to Concept Clouds - Why semantic mapping is necessary
(2008)To realize the vision of the semantic web it is essential to be able to exchange formal modeled knowledge between applications and humans without loss of meaning. In this paper, we focus on questions relating to meaning, ... -
Full PON Virtulisation Supporting Multi-Tenancy Beyond 5G.
(2019)In this paper, we introduce a virtualization technique to enable fully customizable resource sharing for Passive Optical Networks. We provide a summary of the concept, economic challenges and implementation. -
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
(IEEE, 2023)We present the first fully abstract normal form bisimulation for call-by-value PCF (PCFv). Our model is based on a labelled transition system (LTS) that combines elements from applicative bisimulation, environmental ... -
The Future of E-Voting
(2017)Voting systems have been around for hundreds of years and despite different views on their integrity, have always been deemed secure with some fundamental security and anonymity principles. Numerous electronic ... -
The future of enterprise groupware applications
(Springer, 2000)We are currently witnessing a convergence of several threads of technology and business imperatives. A new model for business organisations, the Virtual Enterprise (VE) is emerging. The new model is based on the idea ...