Computer Science: Recent submissions
Now showing items 1341-1360 of 2149
-
Formal polytypic programs and proofs
(2010)The aim of our work is to be able to do fully formal, machine-verified proofs over Generic Haskell-style polytypic programs. In order to achieve this goal, we embed polytypic programming in the proof assistant Coq and ... -
Supporting Learner Model Exchange in Educational Web Systems
(2011)The heterogeneity of learner models in structure, syntax and semantics makes sharing them a significant challenge for existing educational web systems. Creating mappings between the different types of learner models is one ... -
Code generation for hardware accelerated AES
(IEEE, 2010)Data must be encrypted if it is to remain confidential when sent over computer networks. Encryption solves many problems involving invasion of privacy, identity theft, fraud, and data theft. However for encryption to be ... -
Identifying requirements and features for communications systems between older people in care settings
(IEEE, 2010)Care settings for older people, such as nursing homes, can have low levels of social interaction, which has been shown in many studies as being crucial to both the mental and physical well-being of older adults. ... -
Membership service specifications for safety-critical geocast in vehicular networks.
(IEEE, 2010)Geographic group communication is a promising technique for collaborative driving applications. While oneway, geographic broadcast (geocast) is well-studied in vehicular networks, there has been little work to address ... -
An active approach to guaranteed arrival times based on traffic shaping.
(2010)To address the goal of providing drivers on highways with guaranteed arrival times, we propose a traffic management system that combines virtual slots with semiautonomous driving to shape traffic and prevent congestion. Two ... -
Soilse: A decentralized approach to optimization of fluctuating urban traffic using reinforcement learning
(2010)Increasing traffic congestion is a major problem in urban areas, which incurs heavy economic and environmental costs in both developing and developed countries. Efficient urban traffic control (UTC) can help reduce ... -
On Event-Based Middleware for Location-Aware Mobile Applications
(2010)As mobile applications become more widespread, programming paradigms and middleware architectures designed to support their development are becoming increasingly important. The event-based programming paradigm is a strong ... -
Cognitive Policy Learner: Biasing Winning or Losing Strategies
(2011)In continuous learning settings stochastic stable policies are often necessary to ensure that agents continuously adapt to dynamic environments. The choice of the decentralised learning system and the employed policy ... -
An Aspect-Oriented, Model-Driven Approach to Functional Hardware Verification
(2011)The cost of correcting errors in the design of an embedded system?s hardware components can be higher than for its software components, making it important to test as early as possible. Testing hardware components before ... -
A practical solution for achieving language compatibility in scripting language compilers
(2012)Although scripting languages have become very popular, even mature scripting language implementations remain interpreted. Several compilers and reimplementations have been attempted, generally focusing on performance. Based ... -
Developing an electronic health record (EHR) for methadone treatment recording and decision support
(2011)Background: In this paper, we give an overview of methadone treatment in Ireland and outline the rationale for designing an electronic health record (EHR) with extensibility, interoperability and decision support ... -
Assessing Support Requirements for Multidisciplinary Team Meetings
(IEEE, 2010)This paper profiles multidisciplinary team activity (MDT) in a typical teaching hospital setting and reports on a survey conducted among the teams to establish the information needs and constraints which affect their ... -
What makes a great mobile digital art exhibition
(Hacettepe University Department of Information Management, 2011)Passive reception and consumption of art is a given, in our times. Artists produce. Spectators consume. At the nexus stands the curator who chooses the produce and the exhibitor who provides the space for consumers. This ... -
Federated homes: Secure sharing of home services
(IEEE, 2011)This paper presents an architecture which allows consumers to securely share the services available in their home networks with remote third parties. It is implemented as a software service which can be installed on a ... -
Opportunistic Detection of Relative Mobility in Wireless Sensor Networks
(IEEE, 2010)In highly mobile ad hoc networks the neighbourhood status evolves rapidly. Routing tables which are populated with an ?out of date? view of the neighbourhood produce an overhead in the routing process which can affect ... -
Patient-Centred Laboratory Validation Using Software Agents
(2008)Guidelines are self-contained documents which healthcare professionals reference to obtain knowledge about a specific condition or process. They interface with these documents and apply known facts about specific patients ... -
Software Agents Representing Medical Guidelines.
(2008)Guidelines are self-contained documents which healthcare professionals reference to obtain specific disease or medical condition knowledge for a particular population cohort. They view these documents and apply known ... -
Dynamically Adjusting Digital Educational Games Towards Learning Objectives
(2010)Personalization techniques offer the possibility to tailor each learner?s experience of a Digital Educational Game (DEG) to their specific needs. Such personalizations can adapt the challenge and difficulty of the DEG ... -
Towards Non-expert Users Monitoring Networks and Services through Semantically Enhanced Visualizations
(2010)Managing networks and services in large virtual enterprises often requires significant expertise to decipher and reconcile information coming from several heterogeneous sources. This presents a significant challenge as ...
