In this paper we propose a reconfiguration model based on switched flat system. The interest to have flat subsystems is to assure the property of transitivity. Transitivity is one the key points of a resilient system keeping the dependability. To reconfigure the system in the case of unexpected phenomena we use default logic.

Project MEMORIAL [3] is aimed at developing a new technology for creating Web based information systems using interactive electronic documents extracted from their paper originals with advanced optical character recognition tools. A multi-phased digital document life-cycle development model is proposed to assure high quality of the process and its final product.

Quality is an essential characteristic for web success. Several authors have described different methodologies, guidelines, techniques and tools in order to assure the quality of web sites. Among them the WQM model (Web Quality Model), which distinguishes three dimensions related to web features, lifecycle processes and quality characteristics. This last dimension is based on the ISO 9126 stand...

This article presents an improvement method of an identified inertia matrix with the neural network model of a robot. A problem of a neural network model is its inability to assure the positive definiteness of an identified inertia matrix. Therefore the method of matrix regularization based on Cholesky decomposition is proposed. Simulation results show significant improvement of the accuracy of...

An evaluating mechanism-based cloud computing trust model is raised to aim at the issue of how the cloud service user selects credible cloud service supplier. The trust model constitutes an evaluating system about service behavior between cloud service supplier and cloud service user. After formalized evaluation about entity achieved, certain algorithm would be used to get the trust and trust v...

The human hand is a complex mechanism, very difficult to model and to mimic. There are many fields, which require the use of a hand model: computer games, VR simulations, human hand prostheses design, etc. Depending on the domain, the hand model will be more or less similar with the natural model, every time some approximations being necessary. This paper presents a human hand model intended to...

When constructing a model of the behavior of a software system, model validation is necessary in order to assure that the model accuratly describes the system at an appropriate level of abstraction. How to validate a model is however not obvious, since a model is an abstraction of the real system. This paper presents an approach for validation of temporal behavior models, targeting complex indu...

OBJECTIVE The purpose of this study was to assure the application, in our primary care health district, of the World Health Organisation and Spanish Ebola virus disease (EVD) guidelines, and to identify and resolve gaps, in order to protect professionals from the risks associated with attending to patients with Ebola. MATERIALS AND METHODS A checklist was drawn up and an audit procedure of th...

fConttnua on ravaraa alda It nacaaaary and Idantity by block numbar)The problem of "assuring interactive consistency" is defined in [PSL].20 It is assumed that there are n isolated processors, of which at most m arefaulty. The processors can communicate by means of two-party messages, usinga medium which is reliable and of negligible delay. The sender of a messageis always i...

Patents may assist trade in technology either by protecting buyers against the expropriation of the idea by third parties (the appropriation effect) or by enabling sellers to more frankly disclose the idea during the negotiation phase (the disclosure effect). We test for the presence of both these effects using quasiexperimental matching analysis on a novel dataset of 860 technology transaction...