TwoTowers is a software tool for the functional verification and performance evaluation of computer, communication and software systems represented through stochastic process algebra (SPA). In this paper we describe a novel version (3.0), in which the modeling language is no longer a pure SPA, but a SPA-based architectural description language called Æmilia. We show that TwoTowers 3.0 improves ...

background: with increasing age, some changes appeared in specifications of vessels which including dimensions and elasticity in their. the changes in parameters such as resistance, inertance and compliance vessels appear and eventually changes in the environmental pulse releases are in circulation. these changes clearly appear in specification of photoplethysmogram particularly in the size and...

In this paper the present "state\ of air quality modeling (as viewed by the authors) is presented. The focus of the paper will be on the "current\ state-of-aaairs. Due to limitation of space (and the focus of this Dagstuhl Seminar) the discussion will focus on only a few aspects of air quality modeling: i.e., chemical integration, sensitivity analisys and computational framework.

context-dependent modeling is a well-known approach to increase modeling accuracy in continuous speech recognition. the most common way to implement this approach is via triphone modeling. nevertheless, the large number of such models results in several problems in model training, whilst the robust training of such models is often hardly obtained. one approach to solve this problem is via param...

This study presents a new approach for physical and material modeling of space frame-raft-soil system. The physical modeling consists of a modified Thimoshenko beam bending element with six degrees of freedom per node to model the beams and columns of the superstructure, a modified Mindlin's plate bending element with five degrees of freedom per node to represent the structural slabs and raft, ...

Möbius is an extensible framework for system modeling. Models can be designed using several modeling languages, which are called formalisms. Multiple solution methods, including discrete-event simulation and state-space solvers, are available. Some systems are modeled with a combination of several models. There are two methodologies for supporting communication between models: composed models c...

Modeling free-form shapes in a 3D space is one of the difficult problems in computer graphics. In a parametric patch, intuitive control of free-form shapes is not easy. Modeling methods based on strict physical laws need considerable computation time to deform objects, which are not suitable for interactive applications. In this paper we focus on a cellular automaton and try to apply it to inte...