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.
  • Metadata interoperability in agricultural learning repositories: An analysis

    Manouselis, Nikos; Najjar, Jehad; Kastrantas, Kostas; Salokhe, Gauri; Stracke, Christian M.; Duval, Erik (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.
  • Issues and considerations regarding sharable data sets for recommender systems in technology enhanced learning

    Drachsler, Hendrik; Bogers, Toine; Vuorikari, Riina; Verbert, Katrien; Duval, Erik; Manouselis, Nikos; Beham, Guenter; Lindstaedt, Stephanie; Stern, Hermann; Friedrich, Martin; et al. (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 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.
  • Suitability of MANET Protocols for Heterogeneous Mobile Devices Communication in Gaming and Multimedia

    Salim, Aly; Mehdi, Qasim (University of Wolverhampton, School of Computing and Information Technology, 2013-07-01)
    he improvement and development of MANET protocols has been widely researched in order to bring about new technology with the rapidly developing field. More emphasis has been placed on development of protocols with some improvements focused on one issue in MANETs (ECMANSI, MANSI, ZRP, DVMRP) than working on all round MANET that would significantly tackle most if not all issues with MANET protocols so far (FLIP). However, there has also been more emphasis on development of non demanding applications that are not included multiplayer gaming and real-time multimedia content rich streaming applications. This paper looks at the use of mobile devices in gaming and multimedia rich applications. It proposes a protocol, which is in development that offers better efficiency, reliability, robustness and adaptability of wireless communication.
  • An Interactive Educational Game For Children in Education

    Mehdi, Qasim; Salim, Aly; Walters, Kristy (University of Wolverhampton, School of Computing and Information Technology, 2008)
    This paper presents an interactive educational game for Primary School children studying KEY Stage Two History. This game is designed specifically for children to support their continuing studies and to enhance their knowledge and memory retention. The work involves the investigation into Multimedia Design Methodologies and Instructional Systems Design (ISD) Models to support the development of the Instructional Multimedia Model (IMM) in order to provide a structured approach to the development of Interactive Educational Games. In this work, the development process of the interactive educational game will be outlined together with examples. This development is based on a model tailored for an educational multimedia application development which combines ISD and multimedia disciplines contributes to the success of the resulting application. The paper will discuss how each phase has an influence upon the next and the pedagogical factors which the model takes into account work in line with those required for Multimedia
  • A.I. Techniques for Modelling Anger in Emotional Agents

    Slater, Stuart; Moreton, Robert; Buckley, Kevan (University of Wolverhampton, School of Computing and Information TechnologyPublisherplace, 2008)
    The research presented here, attempts to review a range of techniques commonly categorized under the umbrella of artificial intelligence (A.I.) that could be applied when developing agents with emotions in a range of applications. The paper focuses on anger (and its related emotions), an emotion strongly linked with aggression which of course forms the basis of many computer games where killing or attacking other players or in-game agents is often central to the game’s purpose. The paper begins with a psychology focused review of anger and its related emotions, before presenting techniques to encode some of these elements using Finite State Machines and Fuzzy Logic.
  • 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)