748,862 research outputs found

    Analysing security properties using refinement

    Get PDF
    Security properties are essential in open and distributed environments with high dependability requirements. An approach to development and analysis of safety- and security-critical systems based on refinement as the central concept can offer an integrated solution. We analyse the Online Certificate Status Protocol (OCSP), showing how to use refinement as an interference analysis tool for secure communication protocols and intruders

    Evidence for sustainable e-learning in quality online learning environments: a purposive approach to content analysis

    Full text link
    This paper examines a methodology for establishing quality in online learning environments. For e-learning to be sustainable in flexible, open and distance learning, its value in learning must be able to be analysed. In the case of computer conferencing, one way to do this is with content analysis. This methodology is discussed with a review of current frameworks. These indicate that while some researchers and evaluators either use or modify existing frameworks, most researchers develop new ones, generally through the adaptation of existing theories, concepts or model, but in some cases through grounded theory approaches. The development and implementation of two frameworks are then discussed in detail. Both were developed to investigate and evaluate both collaborative learning and deep and surface learning as evidenced in computer conferences. Evidence of such learning attributes are precisely the elements of value in e-learning that can be shown through such a methodology. These attributes can then be integrated into courses developed for quality online learning environments.<br /

    Programming for Qualitative Data Analysis: Towards a YAML Workflow

    Get PDF
    Information Systems (IS) researchers undertaking qualitative research are increasingly proficient with programming techniques. They are also increasingly endeavouring towards openness and transparency, in light of the Open Science movement; and they are increasingly receptive towards alternative and emerging qualitative techniques. In light of these considerations, this paper introduces a “YAML Workflow for Qualitative Data Analysis”. In this workflow, qualitative data analysis is seen as a form of data modelling, thus leveraging techniques from the domain of data modelling such as boundary objects like class diagrams and tools such as integrated development environments. Further, this workflow entails the use of programming languages like Python, by which data can be manipulated, queried, and summarised (e.g., in table-like overviews). Importantly, this workflow is entirely driven by plain-text files that can be tracked with a version control system like Git. Overall, this workflow supports the innovative directions towards which qualitative IS research is evolving

    Designing a cloud and HPC based M&S platform to Investigate the IVD diseases mechanisms

    Get PDF
    The main objective of the PhD proposal consists of the creation of a platform for IVD Models & Simulations (M&S) tools and their integration into automated workflows, within the HORIZON MSCA Disc4All project. Based on the European Open Science Cloud (EOSC) vision, the expected platform will be a Cloud-based one, furnished with a front-end, to guarantee reproducibility, accessibility and easy use for experts and non-experts. The development of an automated and specialized platform can represent the best hybrid technology with perks on both healthcare data management and computational environments exploitation, given the use of Cloud infrastructures on healthcare software and databases. Though rendering automatic not only the database, but prediction and simulation models in a user-friendly integrated system, may facilitate a difficult diagnosis and forward therapy, especially considering the various forces at play in a multi-omics data analysis of its kind

    ASCENS: Engineering Autonomic Service-Component Ensembles

    Get PDF
    Today’s developers often face the demanding task of developing software for ensembles: systems with massive numbers of nodes, operating in open and non-deterministic environments with complex interactions, and the need to dynamically adapt to new requirements, technologies or environmental conditions without redeployment and without interruption of the system’s functionality. Conventional development approaches and languages do not provide adequate support for the problems posed by this challenge. The goal of the ASCENS project is to develop a coherent, integrated set of methods and tools to build software for ensembles. To this end we research foundational issues that arise during the development of these kinds of systems, and we build mathematical models that address them. Based on these theories we design a family of languages for engineering ensembles, formal methods that can handle the size, complexity and adaptivity required by ensembles, and software-development methods that provide guidance for developers. In this paper we provide an overview of several research areas of ASCENS: the SOTA approach to ensemble engineering and the underlying formal model called GEM, formal notions of adaptation and awareness, the SCEL language, quantitative analysis of ensembles, and finally software-engineering methods for ensembles

    An analysis of taxi ratio in urban area using GIS

    Get PDF
    Urban development has started a change led by various factors: human impact on climate change, ageing population that is nowadays significant, increase of its density in urban environments, and processes of globalization that are promoted by incessant incorporation of new technologies. The Smarts cities have become a guinea pig for experimentation with new technologies, applying them to the mobility, infrastructures, energy or information. A focus of the new urban development model revolves around technology, and service needs depend more on the fact of having or being able to access to the specific data than the own available technology itself. Innovations in big data, free access to open data and cloud computing will affect urban development patterns. It is necessary to give substance to all that production, storage, processing and management of the data sources available: sensors, location and positioning systems, cloud computing, open data and communication networks. We proposes to add value to the data of the sources mentioned above, applied to public transport custom, in a city around 600.000 residents, through the GIS analysis of mobility patterns. Location and real time tracking of vehicles provide information on their status. It allows for taking decisions quickly and efficiently, and so on, establishing for example, mobility patterns. True challenge is to detect and transmit key information extracted from a huge volume of data, in which the public, private and business data must be combined effectively to achieve a more integrated knowledge of citizen habits in urban environment.Universidad de MĂĄlaga. Campus de Excelencia Internacional AndalucĂ­a Tec

    iTETRIS: An Integrated Wireless and Traffic Platform for Real-Time Road Traffic Management Solutions

    Get PDF
    Wireless vehicular cooperative systems have been identified as an attractive solution to improve road traffic management, thereby contributing to the European goal of safer, cleaner, and more efficient and sustainable traffic solutions. V2V-V2I communication technologies can improve traffic management through real-time exchange of data among vehicles and with road infrastructure. It is also of great importance to investigate the adequate combination of V2V and V2I technologies to ensure the continuous and costefficient operation of traffic management solutions based on wireless vehicular cooperative solutions. However, to adequately design and optimize these communication protocols and analyze the potential of wireless vehicular cooperative systems to improve road traffic management, adequate testbeds and field operational tests need to be conducted. Despite the potential of Field Operational Tests to get the first insights into the benefits and problems faced in the development of wireless vehicular cooperative systems, there is yet the need to evaluate in the long term and large dimension the true potential benefits of wireless vehicular cooperative systems to improve traffic efficiency. To this aim, iTETRIS is devoted to the development of advanced tools coupling traffic and wireless communication simulators

    INSPIRAL: investigating portals for information resources and learning. Final project report

    Get PDF
    INSPIRAL's aims were to identify and analyse, from the perspective of the UK HE learner, the nontechnical, institutional and end-user issues with regard to linking VLEs and digital libraries, and to make recommendations for JISC strategic planning and investment. INSPIRAL's objectives -To identify key stakeholders with regard to the linkage of VLEs, MLEs and digital libraries -To identify key stakeholder forum points and dissemination routes -To identify the relevant issues, according to the stakeholders and to previous research, pertaining to the interaction (both possible and potential) between VLEs/MLEs and digital libraries -To critically analyse identified issues, based on stakeholder experience and practice; output of previous and current projects; and prior and current research -To report back to JISC and to the stakeholder communities, with results situated firmly within the context of JISC's strategic aims and objectives

    Managing evolution and change in web-based teaching and learning environments

    Get PDF
    The state of the art in information technology and educational technologies is evolving constantly. Courses taught are subject to constant change from organisational and subject-specific reasons. Evolution and change affect educators and developers of computer-based teaching and learning environments alike – both often being unprepared to respond effectively. A large number of educational systems are designed and developed without change and evolution in mind. We will present our approach to the design and maintenance of these systems in rapidly evolving environments and illustrate the consequences of evolution and change for these systems and for the educators and developers responsible for their implementation and deployment. We discuss various factors of change, illustrated by a Web-based virtual course, with the objective of raising an awareness of this issue of evolution and change in computer-supported teaching and learning environments. This discussion leads towards the establishment of a development and management framework for teaching and learning systems

    Conceptions and expectations of research collaboration in the European social sciences: Research policies, institutional contexts and the autonomy of the scientific field

    Get PDF
    This paper investigates the interactions between policy drivers and academic practice in international research collaboration. It draws on the case of the Open Research Area (ORA), a funding scheme in the social sciences across four national research agencies, seeking to boost collaboration by supporting “integrated” projects. The paper discusses the scheme’s governance and its place within the European policy space before turning to awarded researchers’ perceptions of its originality and impact on their project’s emergence and development. Drawing on Bourdieu’s field theory, we analyse the scheme’s capacity to challenge researchers’ habitual collaborative practice as well as the hierarchical foundations of the social science field. We relate the discourses of researchers, located in France, Germany, the Netherlands and the United Kingdom, to such structural dimensions of the academic profession as, disciplinary cultures, institutional environments and national performance management of research careers. The paper argues that the ORA introduces novel mechanisms of power sharing and answerability in social sciences research capable of unsettling the autonomy of the scientific field. This analysis offers a new perspective on the often unquestioned superiority of the model of international collaboration induced by schemes such as ORA
    • 

    corecore