Safe Composition of Web Communication Protocols for Extensible Edge Services

As new multi-party edge services are deployed on the Internet, application-layer protocols with complex communication models and event dependencies are increasingly being specified and adopted. To ensure that such protocols (and compositions thereof with existing protocols) do not result in undesirable behaviors (e.g., livelocks) there needs to be a methodology for the automated checking of the "safety" of these protocols. In this paper, we present ingredients of such a methodology. Specifically, we show how SPIN, a tool from the formal systems verification community, can be used to quickly identify problematic behaviors of application-layer protocols with non-trivial communication models—such as HTTP with the addition of the "100 Continue" mechanism. As a case study, we examine several versions of the specification for the Continue mechanism; our experiments mechanically uncovered multi-version interoperability problems, including some which motivated revisions of HTTP/1.1 and some which persist even with the current version of the protocol. One such problem resembles a classic degradation-of-service attack, but can arise between well-meaning peers. We also discuss how the methods we employ can be used to make explicit the requirements for hardening a protocol's implementation against potentially malicious peers, and for verifying an implementation's interoperability with the full range of allowable peer behaviors.

An Infrastructure for the Dynamic Distribution of Web Applications and Services

This paper presents the design and implementation of an infrastructure that enables any Web application, regardless of its current state, to be stopped and uninstalled from a particular server, transferred to a new server, then installed, loaded, and resumed, with all these events occurring "on the fly" and totally transparent to clients. Such functionalities allow entire applications to fluidly move from server to server, reducing the overhead required to administer the system, and increasing its performance in a number of ways: (1) Dynamic replication of new instances of applications to several servers to raise throughput for scalability purposes, (2) Moving applications to servers to achieve load balancing or other resource management goals, (3) Caching entire applications on servers located closer to clients.

Cuckoo: a Language for Implementing Memory- and Thread-safe System Services

This paper is centered around the design of a thread- and memory-safe language, primarily for the compilation of application-specific services for extensible operating systems. We describe various issues that have influenced the design of our language, called Cuckoo, that guarantees safety of programs with potentially asynchronous flows of control. Comparisons are drawn between Cuckoo and related software safety techniques, including Cyclone and software-based fault isolation (SFI), and performance results suggest our prototype compiler is capable of generating safe code that executes with low runtime overheads, even without potential code optimizations. Compared to Cyclone, Cuckoo is able to safely guard accesses to memory when programs are multithreaded. Similarly, Cuckoo is capable of enforcing memory safety in situations that are potentially troublesome for techniques such as SFI.

Reasoning about trust, entrepreneurial services, and the virtual team

This Portfolio of Exploration (PoE) tracks a transformative learning developmental journey that is directed at changing meaning making structures and mental models within an innovation practice. The explicit purpose of the Portfolio is to develop new and different perspectives that enable the handling of new and more complex phenomena through self transformation and increased emotional intelligence development. The Portfolio provides a response to the question: ‘What are the key determinants that enable a Virtual Team (VT) to flourish where flourishing means developing and delivering on the firm’s innovative imperatives?’ Furthermore, the PoE is structured as an investigation into how higher order meaning making promotes ‘entrepreneurial services’ within an intra-firm virtual team, with a secondary aim to identify how reasoning about trust influence KGPs to exchange knowledge. I have developed a framework which specifically focuses on the effectiveness of any firms’ Virtual Team (VT) through transforming the meaning making of the VT participants. I hypothesized it is the way KGPs make meaning (reasoning about trust) which differentiates the firm as a growing firm in the sense of Penrosean resources: ‘inducement to expand and a limit of expansion’ (1959). Reasoning about trust is used as a higher order meaning-making concept in line with Kegan’s (1994) conception of complex meaning making, which is the combining of ideas and data in ways that transform meaning and implicates participants to find new ways of knowledge generation. Simply, it is the VT participants who develop higher order meaning making that hold the capabilities to transform the firm from within, providing a unique competitive advantage that enables the firm to grow.

The utility of survey and administrative data to generate information for research and outcomes-based oral health services development

The aim of this research, which focused on the Irish adult population, was to generate information for policymakers by applying statistical analyses and current technologies to oral health administrative and survey databases. Objectives included identifying socio-demographic influences on oral health and utilisation of dental services, comparing epidemiologically-estimated dental treatment need with treatment provided, and investigating the potential of a dental administrative database to provide information on utilisation of services and the volume and types of treatment provided over time. Information was extracted from the claims databases for the Dental Treatment Benefit Scheme (DTBS) for employed adults and the Dental Treatment Services Scheme (DTSS) for less-well-off adults, the National Surveys of Adult Oral Health, and the 2007 Survey of Lifestyle Attitudes and Nutrition in Ireland. Factors associated with utilisation and retention of natural teeth were analysed using count data models and logistic regression. The chi-square test and the student’s t-test were used to compare epidemiologically-estimated need in a representative sample of adults with treatment provided. Differences were found in dental care utilisation and tooth retention by Socio-Economic Status. An analysis of the five-year utilisation behaviour of a 2003 cohort of DTBS dental attendees revealed that age and being female were positively associated with visiting annually and number of treatments. Number of adults using the DTBS increased, and mean number of treatments per patient decreased, between 1997 and 2008. As a percentage of overall treatments, restorations, dentures, and extractions decreased, while prophylaxis increased. Differences were found between epidemiologically-estimated treatment need and treatment provided for those using the DTBS and DTSS. This research confirms the utility of survey and administrative data to generate knowledge for policymakers. Public administrative databases have not been designed for research purposes, but they have the potential to provide a wealth of knowledge on treatments provided and utilisation patterns.

The cloud personal assistant for providing services to mobile clients

This paper introduces the original concept of a cloud personal assistant, a cloud service that manages the access of mobile clients to cloud services. The cloud personal assistant works in the cloud on behalf of its owner: it discovers services, invokes them, stores the results and history, and delivers the results to the mobile user immediately or when the user requests them. Preliminary experimental results that demonstrate the concept are included.

CloudNeg: An autonomous multi issue negotiation system, with preference elicitation component, for trading cloud services

Cloud services provide its users with flexible resource provisioning. But in the current market, a user has to choose from a limited set of configurations at a fixed price. This paper presents an autonomous negotiation system termed CloudNeg for negotiating cloud services. CloudNeg provides buyers and sellers of cloud services with autonomous agents to negotiate on the specifications of a cloud instance, including price, on their behalf. These agents elicit their buyers’ time preferences and use them in negotiations. Further, this paper presents two artifacts: a negotiation algorithm and a prototype which together form CloudNeg.

Delivering mobile cloud services to the user: description, discovery, and consumption

The mobile cloud computing paradigm can offer relevant and useful services to the users of smart mobile devices. Such public services already exist on the web and in cloud deployments, by implementing common web service standards. However, these services are described by mark-up languages, such as XML, that cannot be comprehended by non-specialists. Furthermore, the lack of common interfaces for related services makes discovery and consumption difficult for both users and software. The problem of service description, discovery, and consumption for the mobile cloud must be addressed to allow users to benefit from these services on mobile devices. This paper introduces our work on a mobile cloud service discovery solution, which is utilised by our mobile cloud middleware, Context Aware Mobile Cloud Services (CAMCS). The aim of our approach is to remove complex mark-up languages from the description and discovery process. By means of the Cloud Personal Assistant (CPA) assigned to each user of CAMCS, relevant mobile cloud services can be discovered and consumed easily by the end user from the mobile device. We present the discovery process, the architecture of our own service registry, and service description structure. CAMCS allows services to be used from the mobile device through a user's CPA, by means of user defined tasks. We present the task model of the CPA enabled by our solution, including automatic tasks, which can perform work for the user without an explicit request.

Toward the development of national telehealth services: the role of Veterans Health Administration and future directions for research.

The Veterans Health Administration (VHA) in the Department of Veteran Affairs (VA) has emerged as a national and international leader in the delivery and research of telehealth-based treatment. Several unique characteristics of care in VA settings intersect to create an ideal environment for telehealth modalities and research. However, the value of telehealth experience and initiatives in VA settings is limited if telehealth strategies cannot be widely exported to other public or private systems. Whereas a hierarchical organization, such as VA, can innovate and fund change relatively quickly based on provider and patient preferences and a growing knowledge base, other health provider organizations and third-party payers may likely require replicable scientific findings over time before incremental investments will be made to create infrastructure, reform regulatory barriers, and amend laws to accommodate expansion of telehealth modalities. Accordingly, large-scale scientifically rigorous telehealth research in VHA settings is essential not only to investigate the efficacy of existing and future telehealth practices in VHA, but also to hasten the development of telehealth infrastructure in private and other public health settings. We propose an expanded partnership between the VA, NIH, and other funding agencies to investigate creative and pragmatic uses of telehealth technology. To this end, we identify six specific areas of research we believe to be particularly relevant to the efficient development of telehealth modalities in civilian and military contexts outside VHA.

The increasing impact of human immunodeficiency virus infections, sexually transmitted diseases, and viral hepatitis in Durham County, North Carolina: a call for coordinated and integrated services.

BACKGROUND: Durham County, North Carolina, faces high rates of human immunodeficiency virus (HIV) infection (with or without progression to AIDS) and sexually transmitted diseases (STDs). We explored the use of health care services and the prevalence of coinfections, among HIV-infected residents, and we recorded community perspectives on HIV-related issues. METHODS: We evaluated data on diagnostic codes, outpatient visits, and hospitalizations for individuals with HIV infection, STDs, and/or hepatitis B or C who visited Duke University Hospital System (DUHS). Viral loads for HIV-infected patients receiving care were estimated for 2009. We conducted geospatial mapping to determine disease trends and used focus groups and key informant interviews to identify barriers and solutions to improving testing and care. RESULTS: We identified substantial increases in HIV/STDs in the southern regions of the county. During the 5-year period, 1,291 adults with HIV infection, 4,245 with STDs, and 2,182 with hepatitis B or C were evaluated at DUHS. Among HIV-infected persons, 13.9% and 21.8% were coinfected with an STD or hepatitis B or C, respectively. In 2009, 65.7% of HIV-infected persons receiving care had undetectable viral loads. Barriers to testing included stigma, fear, and denial of risk, while treatment barriers included costs, transportation, and low medical literacy. LIMITATIONS: Data for health care utilization and HIV load were available from different periods. Focus groups were conducted among a convenience sample, but they represented a diverse population. CONCLUSIONS: Durham County has experienced an increase in the number of HIV-infected persons in the county, and coinfections with STDs and hepatitis B or C are common. Multiple barriers to testing/treatment exist in the community. Coordinated care models are needed to improve access to HIV care and to reduce testing and treatment barriers.

Where are cultural and social in ecosystem services? A framework for constructive engagement

A focus on ecosystem services (ES) is seen as a means for improving decisionmaking. In the research to date, the valuation of the material contributions of ecosystems to human well-being has been emphasized, with less attention to important cultural ES and nonmaterial values. This gap persists because there is no commonly accepted framework for eliciting less tangible values, characterizing their changes, and including them alongside other services in decisionmaking. Here, we develop such a framework for ES research and practice, addressing three challenges: (1) Nonmaterial values are ill suited to characterization using monetary methods; (2) it is difficult to unequivocally link particular changes in socioecological systems to particular changes in cultural benefits; and (3) cultural benefits are associated with many services, not just cultural ES. There is no magic bullet, but our framework may facilitate fuller and more socially acceptable integrations of ES information into planning and management. © 2012 by American Institute of Biological Sciences. All rights reserved.

Institutional change and coproduction of public services: The effect of charter schools on parental involvement

Recent discussions of school choice have revived arguments that the decentralization of governing institutions can enhance the quality of public services by increasing the participation of intended beneficiaries in the production of those services. We use data from the Schools and Staffing Survey to examine the extent to which the decentralization of authority to charter schools induces parents to become more involved in their children's schools. We find that parents are indeed more involved in charter schools than in observationally similar public schools, especially in urban elementary and middle schools. Although we find that this difference is partly attributable to measurable institutional and organizational factors, we also find that charter schools tend to be established in areas with above-average proportions of involved parents, and we find suggestive evidence that, within those areas, it is the more involved parents who tend to select into charter schools. Thus, while the institutional characteristics of charter schools do appear to induce parents to become more involved in their children's schools, such characteristics are only part of the explanation for the greater parental involvement in charter schools than in traditional public schools. © The Author 2005. Published by Oxford University Press. All rights reserved.

Improving the use of asset-building financial services by Latino immigrants in Langley Park, Maryland

Gemstone Team ANSWER Poverty (Assessing the Need for Services Which Effectively Reduce Poverty)

Valuing ecosystem services from wetlands restoration in the Mississippi Alluvial Valley

This study assesses the value of restoring forested wetlands via the U.S. government's Wetlands Reserve Program (WRP) in the Mississippi Alluvial Valley by quantifying and monetizing ecosystem services. The three focal services are greenhouse gas (GHG) mitigation, nitrogen mitigation, and waterfowl recreation. Site- and region-level measurements of these ecosystem services are combined with process models to quantify their production on agricultural land, which serves as the baseline, and on restored wetlands. We adjust and transform these measures into per-hectare, valuation-ready units and monetize them with prices from emerging ecosystem markets and the environmental economics literature. By valuing three of the many ecosystem services produced, we generate lower bound estimates for the total ecosystem value of the wetlands restoration. Social welfare value is found to be between $1435 and $1486/ha/year, with GHG mitigation valued in the range of $171 to $222, nitrogen mitigation at $1248, and waterfowl recreation at $16. Limited to existing markets, the estimate for annual market value is merely $70/ha, but when fully accounting for potential markets, this estimate rises to $1035/ha. The estimated social value surpasses the public expenditure or social cost of wetlands restoration in only 1 year, indicating that the return on public investment is very attractive for the WRP. Moreover, the potential market value is substantially greater than landowner opportunity costs, showing that payments to private landowners to restore wetlands could also be profitable for individual landowners. © 2009 Elsevier B.V.

Costa Rica's payment for environmental services program: intention, implementation, and impact.

We evaluated the intention, implementation, and impact of Costa Rica's program of payments for environmental services (PSA), which was established in the late 1990s. Payments are given to private landowners who own land in forest areas in recognition of the ecosystem services their land provides. To characterize the distribution of PSA in Costa Rica, we combined remote sensing with geographic information system databases and then used econometrics to explore the impacts of payments on deforestation. Payments were distributed broadly across ecological and socioeconomic gradients, but the 1997-2000 deforestation rate was not significantly lower in areas that received payments. Other successful Costa Rican conservation policies, including those prior to the PSA program, may explain the current reduction in deforestation rates. The PSA program is a major advance in the global institutionalization of ecosystem investments because few, if any, other countries have such a conservation history and because much can be learned from Costa Rica's experiences.