Computing and Information Systems - Research Publications

Permanent URI for this collection

http://hdl.handle.net/11343/350

Filters

2005 9
Reset filters

Settings
Statistics
Citations
Subject: Computer Software × Start date: 2005 × End date: 2005 ×

Search Results

Now showing 1 - 9 of 9
  • Item
    Thumbnail Image
    Reconciling implicit and evolving ontologies for semantic interoperability
    Lister, K ; Hristozova, M ; Sterling, L ; Tamma, V ; Cranefield, S ; Finin, TW (BIRKHAUSER VERLAG AG, 2005)
  • Item
    Thumbnail Image
    Broadening vector space schemes for improving the quality of information retrieval
    Ramamohanarao, K ; Park, LAF ; Zhang, Y ; Tanaka, K ; Yu, JX ; Wang, S ; Li, M (SPRINGER-VERLAG BERLIN, 2005)
  • Item
  • Item
    Thumbnail Image
    Abstract interpretation for constraint handling rules
    SCHRIJVERS, T. ; STUCKEY, P. ; DUCK, G. (ACM Press, 2005)
  • Item
    Thumbnail Image
    Testing for termination with monotonicity constraints
    Codish, M ; Lagoon, V ; Stuckey, PJ ; Gabbrielli, M ; Gupta, G (SPRINGER-VERLAG BERLIN, 2005)
  • Item
    Thumbnail Image
    Guiding agent-oriented requirements elicitation: HOMER
    Wilmann, D ; Sterling, L ; Cai, KY ; Ohnishi, A ; Lau, MF (IEEE COMPUTER SOC, 2005)
  • Item
    Thumbnail Image
    The G12 project: Mapping solver independent models to efficient solutions
    Stuckey, PJ ; de la Banda, MG ; Maher, M ; Marriott, K ; Slaney, J ; Somogyi, Z ; Wallace, M ; Walsh, T ; Gabbrielli, M ; Gupta, G (SPRINGER-VERLAG BERLIN, 2005)
  • Item
    Thumbnail Image
    CZT Support for Z Extensions
    Miller, T ; Freitas, L ; Malik, P ; Utting, M ; Romijn, J ; Smith, G ; VanDePol, J (Springer, 2005-01-01)
    Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance effort. To achieve these goals, CZT uses a variety of different reuse mechanisms, including generation of Java code from a hierarchy of XML schemas, XML templates for shared code, and several design patterns for maximising reuse of Java code. The CZT framework is being used to implement several integrated formal methods, which add object-orientation, real-time features and process algebra extensions to Z. The effort required to implement such extensions of Z has been dramatically reduced by using the CZT framework.
  • Item
    Thumbnail Image
    Neuroscience instrumentation and distributed analysis of brain activity data: A case for eScience on global Grids
    Buyya, R ; Date, S ; Mizuno-Matsumoto, Y ; Venugopal, S ; Abramson, D (John Wiley & Sons, 2005)
    The distribution of knowledge (by scientists) and data sources (advanced scientific instruments), and the need for large-scale computational resources for analyzing massive scientific data are two major problems commonly observed in scientific disciplines. Two popular scientific disciplines of this nature are brain science and high-energy physics. The analysis of brain-activity data gathered from the MEG (magnetoencephalography) instrument is an important research topic in medical science since it helps doctors in identifying symptoms of diseases. The data needs to be analyzed exhaustively to efficiently diagnose and analyze brain functions and requires access to large-scale computational resources. The potential platform for solving such resource intensive applications is the Grid. This paper presents the design and development of MEG data analysis system by leveraging Grid technologies, primarily Nimrod-G, Gridbus, and Globus. It describes the composition of the neuroscience (brain-activity analysis) application as parameter-sweep application and its on-demand deployment on global Grids for distributed execution. The results of economic-based scheduling of analysis jobs for three different optimizations scenarios on the world-wide Grid testbed resources are presented along with their graphical visualization.