40 research outputs found

    A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modeling approach.

    Get PDF
    This report describes a feasibility study in rearchitecting UML. It develops a theory of precise OO meta-modeling in order to fulfil this task, and checks the feasibility of that theory by developing the meta-model of various aspects of UML

    Toward Secure Services from Untrusted Developers

    Get PDF
    We present a secure service prototype built from untrusted,contributed code.The service manages private data for a variety of different users, anduser programs frequently require access to other users' private data.However, aside from covert timing channels, no part of the service cancorrupt private data or leak it between users or outside the systemwithout permission from the data's owners.Instead, owners may choose to reveal their data in a controlled manner.This application model is demonstrated by Muenster, a job searchwebsite that protects both the integrity and secrecy of each user's data.In spite of running untrusted code, Muenster and other services canprevent overt leaks because the untrusted modules are constrained bythe operating system to follow pre-specified security policies, whichare nevertheless flexible enough for programmers to do useful work.We build Muenster atop Asbestos, a recently described operating systembased on a form of decentralized information flowcontrol

    The Grizzly, October 9, 2014

    Get PDF
    Jewish Holiday Sukkot Begins • Life Chain on Main Street • Reimert Courtyard Program Becomes Permanent • UC Partners with Perkiomen Watershed Conservancy • Students Plant on Green Roof • Students Respond to Yik Yak • Students\u27 Campus Jobs • Dorian Gray Comes to Ursinus • History of Bomberger Memorial Hall • Opinion: Islamic State in Syria Conflict Heats Up; Military Strategies for U.S. Foreign Affairs • Local HS Star Running Well for Bears • Far-Away Runner Excelling for XChttps://digitalcommons.ursinus.edu/grizzlynews/1912/thumbnail.jp

    Claudin 13, a Member of the Claudin Family Regulated in Mouse Stress Induced Erythropoiesis

    Get PDF
    Mammals are able to rapidly produce red blood cells in response to stress. The molecular pathways used in this process are important in understanding responses to anaemia in multiple biological settings. Here we characterise the novel gene Claudin 13 (Cldn13), a member of the Claudin family of tight junction proteins using RNA expression, microarray and phylogenetic analysis. We present evidence that Cldn13 appears to be co-ordinately regulated as part of a stress induced erythropoiesis pathway and is a mouse-specific gene mainly expressed in tissues associated with haematopoietic function. CLDN13 phylogenetically groups with its genomic neighbour CLDN4, a conserved tight junction protein with a putative role in epithelial to mesenchymal transition, suggesting a recent duplication event. Mechanisms of mammalian stress erythropoiesis are of importance in anaemic responses and expression microarray analyses demonstrate that Cldn13 is the most abundant Claudin in spleen from mice infected with Trypanosoma congolense. In mice prone to anaemia (C57BL/6), its expression is reduced compared to strains which display a less severe anaemic response (A/J and BALB/c) and is differentially regulated in spleen during disease progression. Genes clustering with Cldn13 on microarrays are key regulators of erythropoiesis (Tal1, Trim10, E2f2), erythrocyte membrane proteins (Rhd and Gypa), associated with red cell volume (Tmcc2) and indirectly associated with erythropoietic pathways (Cdca8, Cdkn2d, Cenpk). Relationships between genes appearing co-ordinately regulated with Cldn13 post-infection suggest new insights into the molecular regulation and pathways involved in stress induced erythropoiesis and suggest a novel, previously unreported role for claudins in correct cell polarisation and protein partitioning prior to erythroblast enucleation

    Motorcycle safety after-dark : the factors associated with greater risk of road-traffic collisions

    Get PDF
    The effect of ambient light level on road traffic collisions (RTCs) involving a motorcycle was investigated. Data were drawn from the STATS19 database of UK reported RTCs for the period 2005–2015. To isolate the effect of ambient light (daylight vs darkness) an odds ratio was used to compare RTCs at specific times of day in the weeks either side of the Spring and Autumn clock changes. This work extended previous studies by using a more precise method for distinguishing between RTCs in daylight and after dark, thus avoiding the ambiguity of twilight. Data for four-wheel motor vehicle (FWMV) RTCs were also investigated to provide a datum. As expected, the risk of an RTC occurring was significantly higher after dark compared to daylight for both motorcycles and FWMVs. Investigation of contextual factors suggests that risk after dark is significantly higher for motorcycles compared to FWMVs for RTCs with two-vehicles, on roads with low speed limits (≤30 mph), at T-junctions, and junctions controlled by a give way sign. These are the situations where visual aids for increasing conspicuity after dark have the greater potential for reducing motorcycle RTCs

    A global horizon scan of the future impacts of robotics and autonomous systems on urban ecosystems

    Get PDF
    Technology is transforming societies worldwide. A major innovation is the emergence of robotics and autonomous systems (RAS), which have the potential to revolutionize cities for both people and nature. Nonetheless, the opportunities and challenges associated with RAS for urban ecosystems have yet to be considered systematically. Here, we report the findings of an online horizon scan involving 170 expert participants from 35 countries. We conclude that RAS are likely to transform land use, transport systems and human–nature interactions. The prioritized opportunities were primarily centred on the deployment of RAS for the monitoring and management of biodiversity and ecosystems. Fewer challenges were prioritized. Those that were emphasized concerns surrounding waste from unrecovered RAS, and the quality and interpretation of RAS-collected data. Although the future impacts of RAS for urban ecosystems are difficult to predict, examining potentially important developments early is essential if we are to avoid detrimental consequences but fully realize the benefits

    Toward Secure Services From Untrusted Developers

    No full text
    We present a secure service prototype built from untrusted, contributed code. The service manages private data for a variety of different users, and user programs frequently require access to other users ’ private data. However, aside from covert timing channels, no part of the service can corrupt private data or leak it between users or outside the system without permission from the data’s owners. Instead, owners may choose to reveal their data in a controlled manner. This application model is demonstrated by Muenster, a job search website that protects both the integrity and secrecy of each user’s data. In spite of running untrusted code, Muenster and other services can prevent overt leaks because the untrusted modules are constrained by the operating system to follow pre-specified security policies, which are nevertheless flexible enough for programmers to do useful work. We build Muenster atop Asbestos, a recently described operating system based on a form of decentralized information flow control [5].
    corecore