Since a few years, scenario based requirements engineering approaches have gained in popularity. Textual scenarios are narrative descriptions of flows of actions between agents. They are often proposed to elicit, validate or document requirements. The CREWS experience has shown that the advantage of scenarios is their easiness of use, and that their disadvantage stands in the lack of guidelines...

In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, by constructing a special guide process that limits the behaviour of the original system. We set up a theoretical framework in which we prove under some sufficient conditions that the adjusted system (with the added guide proces...

INTRODUCTION Recent studies have reported the efficacy of sheathless percutaneous coronary intervention (PCI) using hydrophilic-coated 5-Fr guiding catheters that are one to two Fr sizes smaller in diameter than the corresponding introducer sheath (virtual 3-Fr PCI). However, the limited number of shapes of hydrophilic-coated guiding catheters occasionally makes them difficult to engage and con...

Assessment of road safety performance of countries and their comparison is essential in guiding future decisions. The objective of this study is to search for effective safety pillars in road safety capacity strengthening based on the experiences of the leading countries. In this study, we first try to use the results of a structural equations model with partial least squares approach to select...

Signs of sepsis may be obscure in patients with rheumatoid arthritis, particularly in association with long-term steroid therapy. If mortality is to be avoided, a high index of suspicion must be maintained for the diagnosis, and doubtful joints should be aspirated for culture and prompt therapy with the correct antibiotic. In this report a patients with advanced rheumatoid arthritis presented w...

This paper elaborates the mutual relation of energy, economy, environment and sustainable development, analyzes the key factors affecting energy efficiency. By determining the goal and connotation of energy efficiency, this paper establishes the evaluation model of energy efficiency, and constructs the energy utilization efficiency evaluation system of energy supply, economic growth, environmen...

We analyze the properties of two-dimensionally periodic dielectric structures that have a band gap for propagation in a plane and that use index guiding to confine light in the third dimension. Such structures are more amenable to fabrication than photonic crystals with full three-dimensional band gaps, but retain or approximate many of the latter’s desirable properties. We show how traditional...