First impressions of Sarah Palin: Pit bulls, politics, gender performance and a discursive media (re)contextualization

Continuous Petri nets can be seen as a relaxation of discrete models allowing more efficient (in some cases polynomial time) analysis and synthesis algorithms..

Translation into LGSPN The performance model obtained from an activity diagram in terms of LGSPNs as proposed in [22] can be used with performance evaluation purposes with two goals:

We propose to model the software system in a pragmatic way using as a design technique the well-known design patterns; from these models, the corresponding formal per- formance

Figure 7.2(a) represents the problem domain (any software system), Figure 7.2(b) means that the software engineer has modeled the UML diagrams for the system using the

Concerning related work, we are unable to compare our tool due to the fact that, as far as we know, there exist four SPE tools [3, 2, 10, 15] based on UML and none of them

Hence, with the initial configuration and the given budget, the number of security hosts needs to be increased by five units and the number of DB application hosts by two units in

We have developed PeabraiN, a collection of PIPE tool- compliant modules for performance estimation and resource optimisation based on bounds computation for Stochastic Petri

We reproduced these experiments using our performance model, which meant to put as many tokens as users in places users and p userDevice of the GSPN, so to also match one user to