Processamento de requisições em larga escala utilizando o conceito de plano de nav...
Geração e análise dinâmica do espaço de estados de redes de Petri com uso interati...
Uma metodologia para apoiar o reuso na especificação de modelos de performabilidade
Detecção, Classificação e Localização de Faltas de Curto-Circuito em Sistemas de D...
Interferência de diferentes classes de gotas e volumes de aplicação no desempenho ...
Modelagem e análise das cadeias de suprimentos de uma companhia aérea baseados em ...