RELAX:a language to address uncertainty in self-adaptive systems requirement

Self-adaptive systems have the capability to autonomously modify their behavior at run-time in response to changes in their environment. Self-adaptation is particularly necessary for applications that must run continuously, even under adverse conditions and changing requirements; sample domains include automotive systems, telecommunications, and environmental monitoring systems. While a few techniques have been developed to support the monitoring and analysis of requirements for adaptive systems, limited attention has been paid to the actual creation and specification of requirements of self-adaptive systems. As a result, self-adaptivity is often constructed in an ad-hoc manner. In order to support the rigorous specification of adaptive systems requirements, this paper introduces RELAX, a new requirements language for self-adaptive systems that explicitly addresses uncertainty inherent in adaptive systems. We present the formal semantics for RELAX in terms of fuzzy logic, thus enabling a rigorous treatment of requirements that include uncertainty. RELAX enables developers to identify uncertainty in the requirements, thereby facilitating the design of systems that are, by definition, more flexible and amenable to adaptation in a systematic fashion. We illustrate the use of RELAX on smart home applications, including an adaptive assisted living system.

The Relationship Between Support Systems and Disease Burden for Families Coping with Sickle Cell Disease in South Africa and Cameroon

Background: Sickle cell disease (SCD) is a debilitating genetic blood disorder that seriously impacts the quality of life of affected individuals and their families. With 85% of cases occurring in sub-Saharan Africa, it is essential to identify the barriers and facilitators of optimal outcomes for people with SCD in this setting. This study focuses on understanding the relationship between support systems and disease outcomes for SCD patients and their families in Cameroon and South Africa.

Methods: This mixed-methods study utilizes surveys and semi-structured interviews to assess the experiences of 29 SCD patients and 28 caregivers of people with SCD across three cities in two African countries: Cape Town, South Africa; Yaoundé, Cameroon; and Limbe, Cameroon.

Results: Patients in Cameroon had less treatment options, a higher frequency of pain crises, and a higher incidence of malaria than patients in South Africa. Social support networks in Cameroon consisted of both family and friends and provided emotional, financial, and physical assistance during pain crises and hospital admissions. In South Africa, patients relied on a strong medical support system and social support primarily from close family members; they were also diagnosed later in life than those in Cameroon.

Conclusions: The strength of medical support systems influences the reliance of SCD patients and their caregivers on social support systems. In Cameroon the health care system does not adequately address all factors of SCD treatment and social networks of family and friends are used to complement the care received. In South Africa, strong medical and social support systems positively affect SCD disease burden for patients and their caregivers. SCD awareness campaigns are necessary to reduce the incidence of SCD and create stronger social support networks through increased community understanding and decreased stigma.

A global effort to advance systems change to address the needs of families where a parent has a mental illness.

As part of the Prato Collaborative I am undertaking a Delphi Study to explore the developmental journeys that nine different countries (including NI and Ireland) have undertaken to better meet the needs of families where a parent has a mental illness in adult mental health and children’s services. This research has potential to impact FFP in adult mental health and children's services.

Healthy Food, Healthy Iowans, Healthy Communities Public Health Tools to Advance Healthy, Sustainable Food Systems, June 2014

The purposes of the Healthy Food, Healthy Iowans, Healthy communities Series are to demonstrate the interconnectedness of the food system to public health issues (Part 1) and to provide tools to local public health agencies for assessing, planning, implementing and evaluating food system initiatives (Part 2).

Public health services

This brochure lists services given by the South Carolina Department of Health and Environmental Control. It also lists South Carolina health agencies, their address and contact information.

INFORMATION, LIBRARIES AND DEVELOPMENT Address at the Inauguration of-Manifests Central American Seminar on IFLA / Unesco Public Libraries, School Libraries and the Internet ‖. 26 to 29 March 2007

It is a matter of pride that Costa Rica and the National University, both with extensive experience in the development of library we are the headquarters for the first time, an event that brings together three different activities on this theme: the Central American Seminar, Workshops and Standing Committee of the International Federation of Library Associations and Institutions, which will strengthen the monitoring and Manifestos on Public Libraries, Schools and Internet IFLA-UNESCO. Thank you very much to all of you for allowing us this honor and a double thanks to the comrades of the UNA university who took the initiative and made this opportunity possible.

Applicability of an assessment model for healthcare information systems in a public hospital

Assessment processes are essential to guarantee quality and continuous improvement of software in healthcare, as they measure software attributes in their lifecycle, verify the degree of alignment between the software and its objectives and identify unpredicted events. This article analyses the use of an assessment model based on software metrics for three healthcare information systems from a public hospital that provides secondary and tertiary care in the region of Ribeirão Preto. Compliance with the metrics was investigated using questionnaires in guided interviews of the system analysts responsible for the applications. The outcomes indicate that most of the procedures specified in the model can be adopted to assess the systems that serves the organization, particularly in the attributes of compatibility, reliability, safety, portability and usability.

Secure and Privacy-aware Data Collection and Processing in Mobile Health Systems

Healthcare systems have assimilated information and communication technologies in order to improve the quality of healthcare and patient's experience at reduced costs. The increasing digitalization of people's health information raises however new threats regarding information security and privacy. Accidental or deliberate data breaches of health data may lead to societal pressures, embarrassment and discrimination. Information security and privacy are paramount to achieve high quality healthcare services, and further, to not harm individuals when providing care. With that in mind, we give special attention to the category of Mobile Health (mHealth) systems. That is, the use of mobile devices (e.g., mobile phones, sensors, PDAs) to support medical and public health. Such systems, have been particularly successful in developing countries, taking advantage of the flourishing mobile market and the need to expand the coverage of primary healthcare programs. Many mHealth initiatives, however, fail to address security and privacy issues. This, coupled with the lack of specific legislation for privacy and data protection in these countries, increases the risk of harm to individuals. The overall objective of this thesis is to enhance knowledge regarding the design of security and privacy technologies for mHealth systems. In particular, we deal with mHealth Data Collection Systems (MDCSs), which consists of mobile devices for collecting and reporting health-related data, replacing paper-based approaches for health surveys and surveillance. This thesis consists of publications contributing to mHealth security and privacy in various ways: with a comprehensive literature review about mHealth in Brazil; with the design of a security framework for MDCSs (SecourHealth); with the design of a MDCS (GeoHealth); with the design of Privacy Impact Assessment template for MDCSs; and with the study of ontology-based obfuscation and anonymisation functions for health data.

M-technology, Consumption and Gambling: A Conceptualisation of Consumer Vulnerability in an M-gambling Marketplace

Technology imbued m-marketing systems influence the consumptive lives of citizens, by facilitating anytime, anywhere business-to-consumer interactions. Business pundits’ enthusiasm towards mobile services (m-services) has been driven by the promise of a marketspace context involving seamless, business-to-consumer interactions that can be simultaneously impulse-driven, highly entertaining and omnipresent. Arguably, gambling too is impulse-driven, exciting and easily accessible. An important question that needs to be addressed is: how the convergence of mobile technology and gambling will impact the millennial consumer. The authors address this question by examining the contextually bounded interactions between internal and external factors that make mobile phone users potentially vulnerable during m-gambling interactions. By examining key themes that describe the convergence of m-technology and gambling, we clarify the experiential nature of m-gambling and its relationship to consumer vulnerability.

Turbocharging Networks in the Public Sector

Networks have come to occupy a key position in the strategic armoury of the government, business and community sectors and now have impact on a broad array of policy and management arenas. An emphasis on relationships, trust and mutuality mean that networks function on a different operating logic to the conventional processes of government and business. It is therefore important that organizational members of networks are able to adopt the skills and culture necessary to operate successfully under these distinctive kinds of arrangements. Because networks function from a different operational logic to traditional bureaucracies, public sector organizations may experience difficulties in adapting to networked arrangements. Networks are formed to address a variety of social problems or meet capability gaps within organizations. As such they are often under pressure to quickly produce measurable outcomes and need to form rapidly and come to full operation quickly. This paper presents a theoretical exploration of how diverse types of networks are required for different management and policy situations and draws on a set of public sector case studies to understand/demonstrate how these various types of networked arrangements may be ‘turbo-charged’ so that they more quickly adopt the characteristics necessary to deliver required outcomes.

Survey design: Insights from a public sector ERP success story

Research on the impact of Information Systems (IS) reported in both academic literature and popular press has reported confounding results. Some studies have reported encouraging results of IS, while others have reported nil or detrimental results. The contradictory results of these research studies can be partially attributed to the weaknesses in survey instruments. In an attempt to increase the validity of conclusions of IS assessment studies, survey instrument design should follow a rigorous and scientific procedure. This paper illustrates key validity and reliability issues in measuring Information Systems performance, using examples from a study designed to assess Enterprise Resource Planning systems success. The article emphasizes on the importance of the survey method and the theoretical considerations of item derivation, scale development and item evaluation. Examples are provided from the ERP assessment study to supplement the readers understanding of the theoretical concepts of survey design.

Open Source Enterprise Systems: Towards a Viable Alternative

Enterprise systems are located within the antinomy of appearing as generic product, while being means of multiple integrations for the user through configuration and customisation. Technological and organisational integrations are defined by architectures and standardised interfaces. Until recently, technological integration of enterprise systems has been supported largely by monolithic architectures that were designed, and maintained by the respective developers. From a technical perspective, this approach had been challenged by the suggestion of component-based enterprise systems that would allow for a more user-focused system through strict modularisation. Lately, the product nature of software as proprietary item has been questioned through the rapid increase of open source programs that are being used in business computing in general, and also within the overall portfolio that makes up enterprise systems. This suggests the potential for altered technological and commercial constellations for the design of enterprise systems, which are presented in different scenarios. The technological and commercial decomposition of enterprise software and systems may also address some concerns emerging from the users’ experience of those systems, and which may have arisen from their proprietary or product nature.

Robust Controller Design of Networked Control Systems with Nonlinear Uncertainties

We address robust stabilization problem for networked control systems with nonlinear uncertainties and packet losses by modelling such systems as a class of uncertain switched systems. Based on theories on switched Lyapunov functions, we derive the robustly stabilizing conditions for state feedback stabilization and design packet-loss dependent controllers by solving some matrix inequalities. A numerical example and some simulations are worked out to demonstrate the effectiveness of the proposed design method.