Sfoglia per Autore
Hybrid Semantics for PEPA
2010-01-01 Bortolussi, L; Galpin, V; Hillston, J; Tribastone, M
Scaling Performance Analysis Using Fluid-Flow Approximation
2011-01-01 Tribastone, M; Gilmore, S
Approximate Mean Value Analysis of Process Algebra Models
2011-01-01 Tribastone, M
Fluid Analysis of Queueing in Two-Stage Random Environments
2011-01-01 Casale, G; Tribastone, M
Modular performance modelling for mobile applications
2011-01-01 Arijo, N; Heckel, R; Tribastone, M; Gilmore, S
Non-functional properties in the model-driven development of service-oriented systems
2011-01-01 Gilmore, S; Gonczy, L; Koch, N; Mayer, P; Tribastone, M; Varro, D
Exact fluid lumpability for Markovian process algebra
2012-01-01 Tribastone, M; Tschaikowski, M
Fluid limits of queueing networks with batches
2012-01-01 Bortolussi, L; Tribastone, M
Generalised Communication for Interacting Agents
2012-01-01 Tribastone, M; Tschaikowski, M
Fluid Rewards for a Stochastic Process Algebra
2012-01-01 Tribastone, M; Ding, J; Gilmore, S; Hillston, J
Stochastic Process Algebras: From Individuals to Populations
2012-01-01 Hillston, J; Tribastone, M; Gilmore, S
Scalable Differential Analysis of Process Algebra Models
2012-01-01 Tribastone, M; Gilmore, S; Hillston, J
Performance Modelling of Design Patterns for Distributed Computation
2012-01-01 Strebelow, R; Tribastone, M; Prehofer, C
A Fluid Model for Layered Queueing Networks
2013-01-01 Tribastone, M
Differential analysis of interacting automata with immediate actions
2013-01-01 Bortolussi, L; Tribastone, M
Lumpability of fluid models with heterogeneous agent types
2013-01-01 Iacobelli, G; Tribastone, M
Modelling exogenous variability in cloud deployments
2013-01-01 Casale, G; Tribastone, M
ASCENS: Engineering Autonomic Service-Component Ensembles
2013-01-01 Wirsing, M; Hoelzl, M; Tribastone, M; Zambonelli, F
Insensitivity to service-time distributions for fluid queueing models
2013-01-01 Tribastone, M; Tschaikowski, M
Efficient Optimization of Software Performance Models via Parameter-Space Pruning
2014-01-01 Tribastone, M
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile