Web service composition is a new paradigm to develop distributed and reactive software-intensive systems. Owing to the autonomous nature of basic services, the validation of composite service must be extended from design-time to run-time. Here, the authors describe a novel tool chain called web services property sequence chart monitor to monitor temporal, timing and probabilistic properties in ...

We use property rights theory to study the effect of productivity on trade-off between vertical integration and outsourcing at firm-level. develop a sharp empirical prediction that is robust across range models, holding for single multiple non-contractible inputs; any fixed cost difference outsourcing; regardless whether production sequential or simultaneous in nature. Our highlights hitherto n...

Irrigated vegetable production is an important agricultural activity and a significant source of income for millions smallholder farmers in the Sahel. There little information on potential effects intensive using African Market Garden (AMG) technology yields soil chemical properties. Three contiguous 500-m2 plots were established to evaluate three management practices: (1) AMG, (2) Improved Man...

Communication time prediction is critical for parallel application performance tuning, especially for the rapidly growing field of data-intensive applications. However, making such predictions accurately is non-trivial when contention exists on different components in hierarchical networks. In this paper, we derive an ‘asymmetric network property’ on TCP layer for concurrent bidirectional commu...

Abstract. Cancer is a major health problem all over the world. Photo thermal therapy (PTT) is a non-invasive method in cancer treatment. In PTT, the laser light usually in near-infra red region is absorbed and converted to heat in the cancerous tissue. The temperature above 40 ° C in PTT can induce some effects including irreversible damage to proteins, changes in enzyme struc...

Dexmedetomidine is an alpha 2 adrenergic receptor agonist, even ten times more selective than clonidine. It is a very versatile drug in anaesthesia practice, finding place in increasing number of clinical scenarios and is no more limited to intensive care unit (ICU) sedation. It is analgesic, has anaesthetic sparing effect, sympatholytic property, useful in other procedural sedation and also ha...

This paper studies the effect of strengthening intellectual property rights (IPRs) after the signing of the TRIPS on agricultural trade, for the period 1995-2011. It uses data of agricultural exports and a new yearly index of intellectual property (IP) protection, for 60 developed and developing countries. Also, the paper studies bilateral trade links and the intensive and extensive margins of ...

Protocol design is a very challenging and knowledge-intensive task. Designing a protocol is as hard as synthesizing a program. In this paper, we will first discuss the issues in our automatic security protocol generator, and then propose an approach to constructing security protocols intelligently, based on a security property specification and an extensible general-purpose library of schemas. ...

Complexity is a much analyzed, much debated, much measured property of softwareintensive products. From a strategic point of view, complexity has implications for the development and evolution of software-intensive products. In this issue of Strategic Software Engineering I will consider multiple views of complexity, sources of complexity and actions that manage complexity.

objectives: herbal medicine is known as a valid alternative treatment. salvia reuterana, which has been used in the iranian traditional medicine, is mostly distributed in the central highlands of iran. salvia reuterana is a medicinal herb with various therapeutic usages. the aim of the present review is to take account of pharmacological properties of salvia reuterana. materials and methods: th...