We study the problem of automatic web service composition. We consider a formal framework where web service business protocols are described by means of Finite State Machines (FSM) and focus on the protocol synthesis problem in the general case where the number of instances of existing services that can be used in a given composition is not bounded a priori. We motivate the practical interest o...

We present the partial-propensity stochastic simulation algorithm with composition-rejection sampling (PSSA-CR). It is an exact formulation of the stochastic simulation algorithm (SSA) for well-stirred systems of coupled chemical reactions. The new formulation is a partial-propensity variant [R. Ramaswamy, N. Gonzalez-Segredo, and I. F. Sbalzarini, J. Chem. Phys. 130, 244104 (2009)] of the comp...

Multilevel binomial logistic regression has recently been proposed for the special case of statistically modelling the changing composition and segregation of two groups of individuals over two occasions among organisational units, enabling inferences to be made about the underlying social processes which generate these patterns. A simulation method can then be used to reexpress the model param...

Creating simulation models via composition of predefined and reusable components is an efficient way of reducing costs and time associated with the simulation model development. However, to successfully compose models one has to solve the issues of syntactic and semantic composability of components. The Base Object Model (BOM) standard is an attempt to ease reusability and composition of simula...

To answer the impacts under specific what-if scenarios together with simulation tools has been demanding in different environmental problems. In this contribution, a general software framework for time series scenario composition is proposed to deal with this issue. It is done through providing an interface to process available raw time series data and to compose scenarios of interest. These co...

the phenomena of extensive air shower (eas) are produced by the collision of primary cosmic rays (cr) with energy more than ev with the atmospheric molecules. as a result the electron and muon components (cascades) of eas develop through the air.  the study of such cascades gives important information about the primary cr mass composition as well as its astrophysical origin models. one of the e...

III-Nitride light emitting diodes (LEDs) are widely used in a range of high efficiency lighting and display applications, which has enabled significant energy savings the last decade. Despite wide application GaN LEDs, transport mechanisms across InGaN/GaN heterostructures these devices not well explained. Fixed polarization sheet charges at interfaces lead to large interface dipole charges, cr...

This paper summarizes several results that have been published in [3]. Service Oriented Architectures (SOA) consider services as self-contained components that can be published, invoked over a network and combined with other services through standardized protocols in order to dynamically build complex applications. Service composition is required when none of the existing services can fulfill s...