Computer Science (Scholarly Publications): Recent submissions
Now showing items 1021-1040 of 1420
-
A Semi-Automatic Indexing System for Cell Images
(IEEE, 2008)A method is described that can be used for annotating and indexing an arbitrary set of images with texts collateral to the images. The collateral texts comprise digitised texts, e.g. journal papers and newspapers in which ... -
Web-based case studies for continuous professional development via the VICOCITY case study support tool
(Springer-Verlag, 2009)Web-based case studies offer some significant advantages over the traditional paper-based ones. The results from three uses of a Web-supported case study tool giving advantages and disadvantages are discussed from the ... -
An Evaluation of Aspect-Oriented Programming for Java-based Real-Time Systems Development
(2004)Some concerns, such as debugging or logging functionality, cannot be captured cleanly, and are often tangled and scattered throughout the code base. These concerns are called crosscutting concerns. Aspect- Oriented ... -
Ontological semantics for gathering and routing contextual knowledge in highly distributed autonomic systems
(2007)Much recent research has focused on applying Autonomic Computing principles to achieve constrained self-management in adaptive systems, through self-monitoring and analysis, strategy planning, and self adjustment. However, ... -
Techniques for Dynamic Adaptation of Mobile Services
(Auerbach Publications, 2006)This chapter discusses the dynamic adaptation of software for mobile computing. The primary focus of the chapter is to discuss a number of techniques for adapting software as it runs, and managing the application of those ... -
The Denotational Semantics of Slotted-Circus
(Springer, 2009) -
Slotted-Circus: A UTP-Family of Reactive Theories
(Springer, 2007)We present a generic framework of UTP theories for describing systems whose behaviour is characterised by regular time-slots, compatible with the general structure of the Circus language [WC01a]. This ?slotted-Circus? ... -
Concurrent Models of Flash Memory Device Behaviour
(Springer, 2009)We present a CSP model of the internal behaviour of Flash Memory, based on its specification by the Open Nand-Flash Interface (ONFi) consortium. This contributes directly to the low-level modelling of the data-storage ... -
Mechanising a Formal Model of Flash Memory
(2009)We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified ... -
Ontology Mapping Representations: a Pragmatic Evaluation
(Knowledge Systems Institute Graduate School, 2009)A common approach to mitigate the effects of ontology heterogeneity is to discover and express the specific corre-spondences (mappings) between different ontologies. An open research question is: how should such ontology ... -
Web Service Integration for Next Generation Localisation
(2009)Developments in Natural Language Processing technologies promise a variety of benefits to the localization industry, both in its current form in performing bulk enterprise-based localization and in the future in ... -
Knowledge Based Networking
(IGI Global, 2009)Knowledge-Based Networking, which is built on-top of Content-based Networking (CBN), involves the forwarding of events across a network of brokers based on subscription filters applied to some semantics of the data and ... -
An Automatically Composable OWL Reasoner for Resource Constrained Devices
(IEEE, 2009)Centralized semantic sensor network systems gradually show performance degradation as the scale of the sensor network increases. Thus systems based on distributed approaches with local, autonomous management features ... -
Policy-based Integration of Multi-Provider Digital Home Services
(2009)The digital home is both the nexus of a new wave of user-centric service integration and the front line of competition between device vendors, connectivity providers, and added-value service providers. Vertical integration ... -
Using XML to network distributed analytical instruments: back to the future?
(Healthcare Informatics Society of Ireland, Cumann Riomheolais Slainte, 1999)There has been a paradigm shift in medical informatics standards in recent years from the message-oriented approach to a more distributed systems approach. However, despite all the early promise of distributed applications, ... -
Identifying an appropriate pedagogy for virtual worlds: A Communal Constructivism case study
(2010)As increasing numbers of educators explore the use of virtual worlds for education, there is a need to consider which pedagogical approaches can provide an opportunity to do more than recreate the traditional classroom by ... -
Context-Aware Trails
(2004)he emergence of converged mobile devices with a wide range of computing, communications, entertainment, and sensing capabilities represents a major step in the evolution of wireless computing. Such devices increasingly ... -
Issues in Internetworking Wireless Data Networks for Mobile Computing
(IEEE, 1995)There are many issues specijk to the area of mobile computing which need to be addressed This paper will discuss the particular issues of mobile hosts, network management and security. -
Real + virtual = clever: thoughts on programming smart environments
(1999)Event-based communications has been used successfully in many application domains, one of which is virtual environments. Events are a useful concept in this context because they embody the notion of something happening ... -
Lessness:Randomness, Consciousness and Meaning
(Curtin University of Technology, 2002)Lessness is a prose piece by Samuel Beckett in which he used random permutation to order sentences. Like interactive artworks, the piece is experienced as a process that depends upon the participant?s attempts to ...
