This paper presents a tool, the PiVizTool, for the interactive simulation of choreographies. Different participant instances can be added, deleted, and dynamically bound during the simulation. The PiVizTool uses the π-calculus as the formal foundation for representing dynamic binding. It provides an interactive graphical representation of complex choreographies that can be simulated according t...

abstract this study was mainly conducted due to importance of plant manna and their production process regarding pharmaceutical use. therefore, the behaviourial characteristics of spittlebug poophilus nebulosus leth on alhagi persarum boiss & buhse camel thron plant in torbate jam region, khorasan razavi state were assessed during 2006 and 2007. the bug’s discharge after feeding on the camel th...

This paper takes polymorphism to the multi-object level. Traditional inheritance, polymorphism, and late binding interact nicely to provide both flexibility and safety – when a method is invoked on an object via a polymorphic reference, late binding ensures that we get the appropriate implementation of that method for the actual object. We are granted the flexibility of using different kinds of...

Rabbit kidney cell cultures stimulated with either double-stranded polyinosinate-polycytidylate (poly I:poly C) or with ultraviolet-irradiated Newcastle disease virus (UV-NDV) produce two types of interferon response, designated "early" and "late," respectively. The early response is suppressed by inhibitors of RNA or protein synthesis and is therefore thought to represent de novo synthesis of ...

plants cover composition, condition, trend, production, and grazing capacity of the rangeland change annually. in this research, the role of temporal rainfall distribution on rangeland production was assessed. this research had down in the rangelands of ilam (with semiarid to semi humid climate) and qom and markazi (with arid to semiarid climate) provinces. by attention on plant cover maps in e...