Sfoglia per Autore  TRIBASTONE, MIRCO

opzioni
Mostrati risultati da 1 a 20 di 112
Titolo Data di pubblicazione Autore(i) File
A Markov model of a freerider in a BitTorrent P2P network 1-gen-2005 Barbera, M; Lombardo, A; Schembra, G; Tribastone, M
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System 1-gen-2006 Gilmore, S; Tribastone, M
Stochastic Process Algebras. 1-gen-2007 Clark, A; Gilmore, S; Hillston, J; Tribastone, M
The PEPA Plug-in Project 1-gen-2007 Tribastone, M
An analytical model of a BitTorrent peer 1-gen-2007 Barbera, M; Lombardo, A; Schembra, G; Tribastone, M
SENSORIA Process Calculi for Service-Oriented Computing 1-gen-2007 Wirsing, M; De Nicola, R; Gilmore, S; Hölz, M; Lucchi, R; Tribastone, M; Zavattaro, G
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile 1-gen-2008 Tribastone, M; Gilmore, S
Safety and Response-Time Analysis of an Automotive Accident Assistance Service 1-gen-2008 Argent-Katwala, A; Clark, A; Foster, H; Gilmore, S; Mayer, P; Tribastone, M
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity 1-gen-2008 Wirsing, M; Hoelzl, M; Acciai, L; Banti, F; Clark, A; Fantechi, A; Gilmore, S; Gnesi, S; Gönczy, L; Koch, N; Lapadula, A; Mayer, P; Mazzanti, F; Pugliese, R; Schroeder, A; Tiezzi, F; Tribastone, M; Varro, D
Partial Evaluation of PEPA Models for Fluid-Flow Analysis 1-gen-2008 Clark, A; Duguid, A; Gilmore, S; Tribastone, M
Automatic Translation of UML Sequence Diagrams into PEPA Models 1-gen-2008 Tribastone, M; Gilmore, S
Replicating Web Services for Scalability 1-gen-2008 Bravetti, M; Gilmore, S; Guidi, G; Tribastone, M
The PEPA Eclipse Plug-in 1-gen-2009 Tribastone, M; Duguid, A; Gilmore, S
Service-Level Agreements for Service-Oriented Computing 1-gen-2009 Clark, A; Gilmore, S; Tribastone, M
Quantitative Analysis of Web Services Using SRMC 1-gen-2009 Clark, A; Gilmore, S; Tribastone, M
Scalable Analysis of Scalable Systems 1-gen-2009 Clark, A; Gilmore, S; Tribastone, M
Large-Scale Modelling with the PEPA Eclipse Plug-In 1-gen-2010 Tribastone, M; Gilmore, S
Hybrid Semantics for PEPA 1-gen-2010 Bortolussi, L; Galpin, V; Hillston, J; Tribastone, M
Relating layered queueing networks and process algebra models 1-gen-2010 Tribastone, M
Scalable Differential Analysis of Large Process Algebra Models 1-gen-2010 Tribastone, M
Mostrati risultati da 1 a 20 di 112
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