117,597 research outputs found
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level
No full textIn this work we present the DESERT tool that allows the automatic generation of distributed monitoring systems for enhancing security and dependability of a component-based application at architectural level. The DESERT language permits to specify both the components interfaces and interaction properties in term of correct components communications. DESERT uses these specifications to generate one filter for each component. Each filter locally detects when its component communications violate the property and can undertake a set of reaction policies. DESERT allows the definition of different reaction policies to enhance system security and dependability. DESERT has been used to monitor applications running on both mobile and wired infrastructures
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?
No full textModern software-intensive and pervasive systems need to be able to manage different requirements of variability, adaptation and evolution. The latter are surely related properties, all bringing uncertainty, but covering different aspects and requiring different approaches. Testing of such systems introduces many challenges: variability would require the test of too many configurations and variants well beyond feasibility; adaptation should be based on context-aware testing over many predictable or even unpredictable scenarios; evolution would entail testing a system for which the reference model has become out-of-date. It is evident how current testing approaches are not adequate for such types of systems. We make a brief overview of testing challenges for changing software in a changing world, and hint at some promising approaches, arguing how these would need to be part of a holistic validation approach that can handle uncertainty
FACTORS INFLUENCING ISLET OF LANGHERANS GRAFT FUNCTION AND MONITORING
No full textTransplantation of islet of Langerhans represents a viable therapeutic option for insulin-dependent diabetes mellitus. Dramatic progress has been recently reported with the introduction of a glucocorticoid-free immunosuppressive regimen that improved success rate, namely, insulin independence for 1 year or more, from 8% to 100%.
The fate of islet grafts is determined by many concurrent phenomena, some of which are common to organ grafts (i.e. rejection), while others are unique to nonvascularized cell transplants, including transplant cell mass and viability, as well as nonspecific inflammation at the site of implant. Moreover, islet grafts lack clinical markers of early rejection, making it difficult to recognize imminent rejection and to implement intervention with graft-saving immunosuppressive regimens.
In the present review, we will address the problems influencing islet graft success and the monitoring of islet cell graft function
Overcoming the Challenges Now Limiting Islet Transplantation: A Sequential, Integrated Approach
No full textSteady improvements in islet cell processing technology and immunosuppressive protocols have made pancreatic islet transplantation a clinical reality for the treatment of patients with Type 1 diabetes mellitus (T1DM). Recent trials are showing that improved glycemic metabolic control, prevention of severe hypoglycemia, and better quality of life can be reproducibly achieved after transplantation of allogeneic islets in patients with unstable T1DM. Despite these encouraging results, challenges ahead comprise obtaining adequate islet cells for transplant, enhancing islets engraftment, sustaining β cell mass and function over time, and defining effective immune interventions, among others. In order to overcome the current hurdles to the widespread application of islet transplantation there is a need for implementation of integrated, sequential therapeutic approaches
User profile agents for cultural heritage fruition
No full textIn this paper we present an application of a MAS (Multi-Agent System) composed of logical agents in an Ambient Intelligence scenario, related to the fruition of cultural assets. The users are located in an area which is known to the agents: in the application, the users are the visitors of Villa Adriana, an archaeological site in Tivoli, near Rome (Italy). Agents are aware of user moves by means of Galileo satellite signal, i.e., the proposed application is based on a blend of different technologies. The agents, developed in the DALI logic programming language, proactively learn and/or enhance users profiles and are thus capable to competently assist the users during their visit, to elicit habits and preferences and to propose cultural assets to the users according to the learned profile
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural LevelArchitecting Dependable Systems IV
No full textIn this work we present the DESERT tool that allows the automatic generation of distributed monitoring systems for enhancing security and dependability of a component-based application at architectural level. The DESERT language permits to specify both the components interfaces and interaction properties in term of correct components communications. DESERT uses these specifications to generate one filter for each component. Each filter locally detects when its component communications violate the property and can undertake a set of reaction policies. DESERT allows the definition of different reaction policies to enhance system security and dependability. DESERT has been used to monitor applications running on both mobile and wired infrastructures
ESP-MC: An Experiment in the Use of Verification Tools
No full textWe present an experiment of applying existing verification tools for process algebra, namely ACTL model checker and AUTO, to a system based on parallel logic programming: Extended Shared Prolog (ESP). The constructed tool ESP-MC (a semi-automatic model checker for ESP) models value passing by suitably expanding all the data that influence the control part of the specification. The same expansion of data is performed both in the generated model and in the logic formulae. In this way symbolic formulae can be proved on a finite model of the ESP program, which provides the base for the analysis of the properties in the infinite ESP models
- …
