Recent Submissions

  • Activity at the Michigan Cyber Range

    Adams, Joe
    Joe Adams will update a number of Cyber Range activities, including its use in academic courses, a new set of Range hardware at Northern Michigan University, and a Red Team/Blue Team exercise recently conducted in Grand Rapids and Ann Arbor.
  • Issues and considerations regarding sharable data sets for recommender systems in technology enhanced learning

    Hendrik, Drachsler (2010-01-01)
    This paper raises the issue of missing data sets for recommender systems in Technology Enhanced Learning that can be used as benchmarks to compare different recommendation approaches. It discusses how suitable data sets could be created according to some initial suggestions, and investigates a number of steps that may be followed in order to develop reference data sets that will be adopted and reused within a scientific community. In addition, policies are discussed that are needed to enhance sharing of data sets by taking into account legal protection rights. Finally, an initial elaboration of a representation and exchange format for sharable TEL data sets is carried out. The paper concludes with future research needs.
  • Metadata interoperability in agricultural learning repositories: An analysis

    Nikos, Manouselis (2010-03-01)
    The rapid evolution of ICT creates numerous opportunities for agricultural education and training. Digital learning resources are organized in online databases called learning repositories, in which people can search, locate, and access resources. In order to facilitate the exchange of information between such repositories, the issue of metadata interoperability is crucial. In this paper, we particularly focus on metadata interoperability of learning repositories with content relevant to agricultural stakeholders. More specifically, we present results from an analysis of implementations of metadata standards in agricultural learning repositories around the world. The results provide useful feedback to the developers of repositories with educational content for agricultural stakeholders, as well as directions for potential harmonization of work in this area.
  • Metadata Principles and Practicalities

    Duval, Erik; Hodgins, Wayne; Sutton, Stuart; Weibel, Stuart L.
    The rapid changes in the means of information access occasioned by the emergence of the World Wide Web have spawned an upheaval in the means of describing and managing information resources. Metadata is a primary tool in this work, and an important link in the value chain of knowledge economies. Yet there is much confusion about how metadata should be integrated into information systems. How is it to be created or extended? Who will manage it? How can it be used and exchanged? Whence comes its authority? Can different metadata standards be used together in a given environment? These and related questions motivate this paper. The authors hope to make explicit the strong foundations of agreement shared by two prominent metadata Initiatives: the Dublin Core Metadata Initiative (DCMI) and the Institute for Electrical and Electronics Engineers (IEEE) Learning Object Metadata (LOM) Working Group. This agreement emerged from a joint metadata taskforce meeting in Ottawa in August, 2001. By elucidating shared principles and practicalities of metadata, we hope to raise the level of understanding among our respective (and shared) constituents, so that all stakeholders can move forward more decisively to address their respective problems. The ideas in this paper are divided into two categories. Principles are those concepts judged to be common to all domains of metadata and which might inform the design of any metadata schema or application. Practicalities are the rules of thumb, constraints, and infrastructure issues that emerge from bringing theory into practice in the form of useful and sustainable systems.
  • Linking Object-Z with Spec#

    Qin, Shengchao; He, Guanhua (2013-07-01)
  • CROWN-C: A High-Assurance Service-Oriented Grid Middleware System

    Townend, Paul; Looker, Nik; Zhang, Dacheng; Xu, Jie; Li, Jianxin; Zhong, Liang; Huai, Jinpeng (2013-07-01)
  • Verifying safety policies with size properties and alias controls

    Chin, Wei-Ngan; Khoo, Siau-Cheng; Qin, Shengchao; Popeea, Corneliu; Nguyen, Huu Hai (2013-07-01)
  • A practical single refinement method for B

    Dunne, S. E.; Conroy, S.; University of Teesside. School of Computing. (Springer Berlin, 2008-08)
    The authors propose a single refinement method for B, inspired directly by Gardiner and Morgan’s longstanding single complete rule for data refinement, and rendered practical by application of the current first author’s recent first-order characterisation of refinement between monotonic computations
  • HighSpec

    Dong, J. S.; Hao, P.; Zhang, X.; Qin, S. C. (2013-07-01)