skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Compositional Approach to Performance Modelling
Material Type:
Livro
Adicionar ao Meu Espaço

Compositional Approach to Performance Modelling

Jane Hillston

Cambridge Cambridge University Press 1996

Acesso online

2
Formal methods for performance evaluation 7th International School on Formal Methods for the Design of Computer Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 June 2, 2007 ; advanced lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods for performance evaluation 7th International School on Formal Methods for the Design of Computer Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 June 2, 2007 ; advanced lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (7th 2007 Bertinoro, Italy) Marco Bernardo; J Hillston (Jane) 1963

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4486 )(Acessar)

3
7th UK Computer and Telecommunications Performance Engineering Workshop
Material Type:
Livro
Adicionar ao Meu Espaço

7th UK Computer and Telecommunications Performance Engineering Workshop

C. J. Hillston, Jane Elizabeth King, Peter John Beaufoy van Rijsbergen Jane Elizabeth Hillston; Peter J. B King; Peter John Beaufoy King; Robert J Pooley

Springer London 1992

Acesso online

4
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Rocco De Nicola, Jane Hillston Marco Bernardo Rocco De Nicola; Jane Hillston

Springer International Publishing 2016

Acesso online

5
Reviewers in 2023
Material Type:
Artigo
Adicionar ao Meu Espaço

Reviewers in 2023

Hillston, Jane

Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences, 2024-03, Vol.480 (2286) [Periódico revisado por pares]

Texto completo disponível

6
Unbiased Bayesian inference for population Markov jump processes via random truncations
Material Type:
Artigo
Adicionar ao Meu Espaço

Unbiased Bayesian inference for population Markov jump processes via random truncations

Georgoulas, Anastasis ; Hillston, Jane ; Sanguinetti, Guido

Statistics and computing, 2017, Vol.27 (4), p.991-1002 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

7
Reviewers in 2022
Material Type:
Artigo
Adicionar ao Meu Espaço

Reviewers in 2022

Hillston, Jane

Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences, 2023-03, Vol.479 (2271) [Periódico revisado por pares]

Texto completo disponível

8
Mission reliability of semi-Markov systems under generalized operational time requirements
Material Type:
Artigo
Adicionar ao Meu Espaço

Mission reliability of semi-Markov systems under generalized operational time requirements

Wu, Xiaoyue ; Hillston, Jane

Reliability engineering & system safety, 2015-08, Vol.140, p.122-129 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

9
Stochastic properties of the plant circadian clock
Material Type:
Artigo
Adicionar ao Meu Espaço

Stochastic properties of the plant circadian clock

Guerriero, Maria Luisa ; Pokhilko, Alexandra ; Fernández, Aurora Piñas ; Halliday, Karen J. ; Millar, Andrew J. ; Hillston, Jane

Journal of the Royal Society interface, 2012-04, Vol.9 (69), p.744-756 [Periódico revisado por pares]

England: The Royal Society

Texto completo disponível

10
Persistent Stochastic Non-Interference
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Persistent Stochastic Non-Interference

Hillston, Jane ; Piazza, Carla ; Rossi, Sabina

Electronic proceedings in theoretical computer science, 2018, Vol.276 (Proc. EXPRESS/SOS 2018), p.53-68

Open Publishing Association

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (140)
  2. Artigos  (109)
  3. Anais de Congresso  (55)
  4. Livros  (12)
  5. Reports  (3)
  6. Dissertações  (2)
  7. Resenhas  (1)
  8. magazinearticle  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1999  (48)
  2. 1999Até2004  (24)
  3. 2005Até2010  (93)
  4. 2011Até2017  (86)
  5. Após 2017  (55)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.