In recent years, dynamic component-based systems such as OSGi and its derivatives have become very successful. This has created new challenges for verification. Assemblies are created and modified dynamically at runtime, but many existing techniques such as unit testing are designed for buildtime verification. Runtime verification is usually restricted to type checks. We propose a simple compon...

When a patient visits his doctor there is, as well as a By contrast, my contention is simply that the shared spoken dialogue, also an unspoken, or tacit, dialogue Judeo-Christian heritage is pluralistic in its implicabetween them. This may not be evident unless that tions. While this heritage may contain a common dialogue breaks down when the psychological or sense of moral obligation between p...

It is generally agreed that one of the key services of componentbased systems are transactions. However, an agreement on how components should be involved in transactions is still missing. In this paper, we discuss some of the key issues of combining components with transactions, and different approaches to achieve an appropriate level of transactional functionality in components. We distinguis...

Recycling components reduces the development cost and time during the creation of a software system. Nevertheless, combining components is not a simple task. It demands to the candidate components to be adequate and then to be adapted inside the environment where they are going to be integrated. For this, it is necessary to study the existing relationships among the services offered by one sele...

When a patient visits his doctor there is, as well as a spoken dialogue, also an unspoken, or tacit, dialogue between them. This may not be evident unless that dialogue breaks down when the psychological or moral terms of reference of each are seen to be different. The author of this paper tries to elucidate the framework in which physician and patient think, and in so doing allow an understand...

It has been shown that summarizing complex multi-channel physiological and discrete data in natural language (text) can lead to better decision-making in the intensive care unit (ICU). As part of the BabyTalk project, we describe a prototype system (BT-45) which can generate such textual summaries automatically. Although these summaries are not yet as good as those generated by human experts, w...

Objective: In all societies, adolescents are the most vulnerable age group to addiction. Decision-making styles and attitude toward substances can play an important role in the tendency of adolescents to addiction. The aim of the current study was to investigate the role of decision-making styles and attitude toward substances in predicting the potential addiction among adolescents. Methods: I...

We present a new calculus for mobile systems, the main feature of which is the separation between dynamic and topological aspects of distributed computations. Our calculus realises the following basic assumptions: (1) every computation executes in a uniquely determined location (2) processes modify the distributed structure by means of predefined operations, and (3) the underlying programming l...

Correspondence: Cheryl Rabin Clinical Research Center Tel-Aviv-Sourasky Medical Center Tel Aviv Israel Telephone: 97236974845 E-mail: [email protected] RABIN C & TABAK N (2006) Journal of Clinical Nursing 15, 971–979 Healthy participants in phase I clinical trials: the quality of their decision to take part Aims and objective. This study was set out to test the quality of the decision-mak...

a basic assumption of madm methods such as saw and topsis is the statistical independence of criteria. violating this assumption would result in erroneous decisions. however, there are many cases in which criteria are dependent and based on this situation decision has to be made. in this paper, an approach based on the property of principal component analysis (pca) in producing independent vari...