Sfoglia per Autore
Efficient Optimization of Software Performance Models via Parameter-Space Pruning
2014-01-01 Tribastone, M
Exact fluid lumpability in Markovian process algebra
2014-01-01 Tschaikowski, M; Tribastone, M
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
2014-01-01 De Nicola, R; Iacobelli, G; Tribastone, M
Model-based development and performance analysis for evolving manufacturing systems
2014-01-01 Kowal, M; Prehofer, C; Schaefer, I; Tribastone, M
Extended differential aggregations in process algebra for performance and biology
2014-01-01 Tribastone, M; Tschaikowski, M
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems
2014-01-01 Gilmore, S; Tribastone, M; Vandin, M
Tackling continuous state-space explosion in a Markovian process algebra
2014-01-01 Tribastone, M; Tschaikowski, M
Behavioral Relations in a Process Algebra for Variants
2014-01-01 Tribastone, M
Family-Based Performance Analysis of Variant-Rich Software Systems
2014-01-01 Kowal, M; Schaefer, I; Tribastone, M
A partial-differential approximation for spatial stochastic process algebra
2014-01-01 Tribastone, M; Tschaikowski, M
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface
2015-01-01 Bertrand, N; Tribastone, M
Fluid Performability Analysis of Nested Automata Models
2015-01-01 Bortolussi, L; Hillston, J; Tribastone, M
A proactive approach for runtime self-adaptation based on queueing network fluid analysis
2015-01-01 Incerto, E; Tribastone, M; Trubiani, C
Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory
2015-01-01 Shams, F; Tribastone, M
Differential Bisimulation for a Markovian Process Algebra
2015-01-01 Iacobelli, G; Tribastone, M; Vandin, A
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning
2015-01-01 Gast, N; Massonnet, G; Reijsbergen, D; Tribastone, M
Forward and Backward Bisimulations for Chemical Reaction Networks
2015-01-01 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M
Service Composition for Collective Adaptive Systems
2015-01-01 Gilmore, S; Hillston, J; Tribastone, M
Supporting performance awareness in autonomous ensembles
2015-01-01 Bulej, L; Bures, T; Gerostathopoulos, I; Horký, V; Keznikl, J; Marek, L; Tschaikowski, M; Tuma, P; Tribastone, M
A unified framework for differential aggregations in Markovian process algebra
2015-01-01 Tribastone, M; Tschaikowski, 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